MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Nonmonotonic Logics and Semantics." – sorted by Relevance.

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

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

9 documents found, showing 1 through 9.

ATOM

Nonmonotonic Logics and Semantics
by Daniel Lehmann — 2001 — Journal of Logic and Computation
…Nonmonotonic Logics and Semantics Daniel Lehmann Institute of Computer Science, Hebrew University…
Cited by 21 (2 self) – Add To MetaCart

How To Combine Nonmonotonic Logic and Rapid Prototyping To Help Maintain Software
by Luqi Computer, Daniel Cooke — 1995 — International Journal of Software Engineering and Knowledge Engineering
… the Extended Logic Semantics [7] for nonmonotonic logic programs that have a unique answer set (which is a…
Add To MetaCart

Heterogeneous Active Agents, I: Semantics
by Thomas Eiter, V. S. Subrahmanian, George Pick — 1999
… semantical characterizations of non-monotonic logic programs. The concept of Agent Programs described here…
Cited by 25 (4 self) – Add To MetaCart

Heterogeneous Active Agents
by Thomas Eiter, V. S. Subrahmanian — 1998
… semantical characterizations of non-monotonic logic programs. 6. We will report on an application we have…
Cited by 12 (5 self) – Add To MetaCart

Teaching knowledge representation: Challenges and proposals
by Richmond H. Thomason — 2000 — In Proc. KR2000 Conference
… by quotation or a nonmonotonic logic), semantic networks, inheritance with and without exceptions, temporal…
Cited by 1 (0 self) – Add To MetaCart

Formal Semantics of Temporal Epistemic Reflection
by Wiebe Van Der Hoek, John-jules Meyer, Jan Treur — 1994 — Logic Program Synthesis and Transformation-Meta-Programming in Logic, Proc. Fourth Int. Workshop on Meta-programming in Logic, META'94, Lecture Notes in Computer Science
… the situation looks different. In principle one may work out formal semantics in terms of (the logic behind…
Cited by 3 (2 self) – Add To MetaCart

O.: Reasoning about conditions and exceptions to laws in regulatory conformance checking
by Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky — 2008 — In Submission: http://www.cis.upenn.edu/˜nikhild/reasoning.pdf (2008
… to refer to others. The semantics of the resulting logic is defined via a combination of techniques from…
Cited by 2 (1 self) – Add To MetaCart

Representation Theorems for Multiple Belief Changes
by Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen — 1997 — in:Proc. 15th Int. Joint Conf. on Artificial Intelligence (IJCAI’97
… et al. 1997 ], we in- troduced a non-monotonic logic the semantic of which bases on the theory…
Cited by 9 (8 self) – Add To MetaCart

Belief Revision in a Discrete Temporal Probability-Logic
by Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar — 1994 — Proceedings of Workshop on Temporal Reasoning, FLAIRS-94, forthcoming
… "logics, " but semantic and computational difficulties have led some to consider probability as a…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 9.

ATOM

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