Results 91 to 100 of about 719,711 (199)
From systems to logic in the early development of nonmonotonic reasoning
, 2011 This note describes how the notion of nonmonotonic reasoning emerged in Artificial Intelligence from the mid-1960's to 1980. It gives particular attention to the interplay between three kinds of activities: design of high-level programming systems for AI,
Sandewall, Erik,
core +1 more source
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems
Foundations of Nonmonotonic Logic Programming for Complex Knowledge Systems. This project will fundamentally provide a new paradigm of nonmonotonic logic programming.
core
Possibility theory, belief revision and nonmonotonic logic
, 1993 IJCAI 1993: Thirteenth International Joint Conference on Artificial IntelligenceInternational audienceThis paper is a brief overview of joint work done with Salem Benferhat and Jérôme Lang, at IRIT in Toulouse on the application of possibility theory to ...
Prade, Henri +3 more
core +1 more source
First-Order Encodings of Modular Nonmonotonic Logic Programs
, 2011 Recently Modular Nonmonotonic Logic Programs (MLP) have been introduced which incorporate a call-by-value mechanism and allow for unrestricted calls between modules, including mutual and self recursion, as an approach to provide module constructs akin to
Krennwallner, Thomas +3 more
core +2 more sources
Towards First-Order Nonmonotonic Reasoning
, 2007 . We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in firstorder MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz.
Riccardo Rosati
core
A Logic-Based Transformation Systems [PDF]
, 2009 [[abstract]]In spite of advances in various transformation systems the transformation of a nonmonotonic-logic-based requirements specification into a procedural (imperative) language program has not been investigated.
Jeffrey J. P. Tsai;B. Li;T. Weigert
core
A Sequent Calculus for a Paraconsistent Nonmonotonic Logic
, 2007 . In spite of sequent calculus being an appealing tool for describing logical systems, its use along with nonmonotonic logics has been largely neglected.
Ana Teresa Martins, Tarcísio Pequeno
core
Nonmonotonic Reasoning - Computational Perspective
, 1997 Introduction Nonmonotonic logics were introduced in the late 70s as knowledge representation formalisms. Default logic [Rei80], circumscription [McC80], autoepistemic logic [Moo85, Lev90] and logic programming with negation [ABW88, GL88, Apt90] turned ...
Victor W. Marek +1 more
core
Theory and Pracite of Logic Programming
Theory and Practice of Logic Programming is an international journal that publishes refereed papers covering both the theory and the practice of logic programming. Logic applies to all areas of artificial intelligence and computer science.
GABBRIELLI, MAURIZIO
core +1 more source
One-third of global lake nitrous oxide emissions are concentrated in the northern temperate zone (40°N-50°N). [PDF]
Sci AdvZhou Y +6 more
europepmc +1 more source