MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Logic Programming and Nonmonotonic Reasoning" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

103 documents found, showing 1 through 10. Next 10 →

ATOM

An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning
by François Bry, Ur Informatik, Programmier- Und Modellierungssprachen, Is Introduced N, In N — 2001
… Oettingenstrae 67, D{80538 Munchen An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning…
Cited by 4 (4 self) – Add To MetaCart

Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning
by Chitta R. Baral, V. S. Subrahmanian — 1998 — Journal of Automated Reasoning
…Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning Chitta R…
Cited by 73 (6 self) – Add To MetaCart

A First-Order Representation of Stable Models
by Thomas Eiter, James Lu, V. S. Subrahmanian — 1998 — The European Journal on Artificial Intelligence (AI Communications
… Programming and Nonmonotonic Reasoning (LPNMR '97), J. Dix, U. Furbach, and A. Nerode (eds), LNCS 1265…
Cited by 2 (2 self) – Add To MetaCart

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic
by Phan Minh Dung — 1995 — Artificial Intelligence
… to nonmonotonic and defeasible reasoning in AI and logic programming [R,M,MD,P1,D1,GL,KKT,SL] are argumentation…
Cited by 396 (7 self) – Add To MetaCart

A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion
by Alexander Bochman — 1998 — Journal of Logic Programming
… logic programs as a most simple kind of nonmonotonic reasoning in general. Keywords. Foundations…
Cited by 4 (0 self) – Add To MetaCart

M.: The first answer set programming system competition
by Martin Gebser, Lengning Liu, Gayathri Namasivayam, Torsten Schaub, Mirosław Truszczyński — 2007 — In Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR
… are in logic programming [5,6] and nonmonotonic reasoning [7,8]. The two areas merged when Gelfond…
Cited by 3 (0 self) – Add To MetaCart

The well-founded semantics is a stratified Fitting semantics
by Pascal Hitzler, Matthias Wendt — 2002 — Proceedings of the 25th Annual German Conference on Arti Intelligence, KI2002
….wv.inf.tu-dresden.de Technical Report WV{02-07 Abstract Part of the theory of logic programming and nonmonotonic reasoning…
Cited by 4 (3 self) – Add To MetaCart

A Logical Foundation for Logic Programming II: Semantics of General Logic Programs
by Alexander Bochman — 1998 — Journal of Logic Programming
…. Keywords. Foundations of logic programming, negation as failure, semantics for logic programs, nonmonotonic…
Cited by 5 (2 self) – Add To MetaCart

Reasoning Agents In Dynamic Domains
by Chitta Baral, Michael Gelfond — 2000 — In Workshop on Logic-Based Artificial Intelligence
…. Keywords: Intelligent agents, logic programming and nonmonotonic reasoning. 1 INTRODUCTION This paper is a…
Cited by 57 (16 self) – Add To MetaCart

Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97. 4 cial Intelligence in
by Design Stanford Markus, Diagnosing In, Markus Stumptner, Markus Stumptner, Franz Wotawa, Franz Wotawa, Diagnosing Tree-structured Systems, J. Dorn, M. Girsch, H. Grohmann, W. Meyer, N. Vidakis Interaktive
… and Nonmonotonic Reasoning (LPNMR'97), 1997. [24] Thomas Eiter, Georg Gottlob, and Helmut Veith. Logic programming…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB