Abstract
No abstract available.
Skip Table Of Content Section
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
chapter
Cited By
- Grégoire É and Lagniez J On Anti-subsumptive Knowledge Enforcement Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 9450, (48-62)
- Schwartz D (2015). Dynamic Reasoning Systems, ACM Transactions on Computational Logic, 16:4, (1-42), Online publication date: 19-Nov-2015.
- Mousavi A, Araabi B and Ahmadabadi M (2015). Context transfer in reinforcement learning using action-value functions, Computational Intelligence and Neuroscience, 2014, (52-52), Online publication date: 1-Jan-2014.
- Minker J To vladimir lifschitz on his 65th birthday Correct Reasoning, (1-13)
- Wang P and Awan S Reasoning in non-axiomatic logic Proceedings of the 4th international conference on Artificial general intelligence, (297-302)
- Zhang X, Lin Z and Wang K A tableau algorithm for paraconsistent and nonmonotonic reasoning in description logic-based system Proceedings of the 13th Asia-Pacific web conference on Web technologies and applications, (345-356)
- Zimmermann J and Cremers A The quest for uncertainty Rainbow of computer science, (270-283)
- Gebser M, Kaminski R, Kaufmann B and Schaub T Challenges in answer set solving Logic programming, knowledge representation, and nonmonotonic reasoning, (74-90)
- Sanen F, Truyen E and Joosen W (2009). Mapping problem-space to solution-space features, ACM SIGPLAN Notices, 45:2, (167-176), Online publication date: 1-Feb-2010.
- Sanen F, Truyen E and Joosen W Mapping problem-space to solution-space features Proceedings of the eighth international conference on Generative programming and component engineering, (167-176)
- Błaszczyński J, Greco S, Słowiński R and Szelg M (2009). Monotonic Variable Consistency Rough Set Approaches, International Journal of Approximate Reasoning, 50:7, (979-999), Online publication date: 1-Jul-2009.
- Vo Q, Foo N and Thurbon J (2005). Semantics for a theory of defeasible reasoning, Annals of Mathematics and Artificial Intelligence, 44:1-2, (87-119), Online publication date: 1-May-2005.
- Abdelbar A, Andrews E and Wunsch D (2019). Abductive reasoning with recurrent neural networks, Neural Networks, 16:5-6, (665-673), Online publication date: 1-Jun-2003.
- Baader F, Calvanese D, McGuinness D, Nardi D and Patel-Schneider P Bibliography The description logic handbook, (496-545)
- Avron A Classical Gentzen-type methods in propositional many-valued logics Beyond two, (117-155)
- Sudkamp T Nonmonotonic logic Encyclopedia of Computer Science, (1241-1244)
- Yager R (2019). Nonmonotonicity and Compatibility Relations in Belief Structures, Annals of Mathematics and Artificial Intelligence, 34:1-3, (161-176), Online publication date: 21-Mar-2002.
- Brafman R and Friedman N (2001). On decision-theoretic foundations for defaults, Artificial Intelligence, 133:1-2, (1-33), Online publication date: 1-Dec-2001.
- You J, Wang X and Yuan L (2001). Nonmonotonic Reasoning as Prioritized Argumentation, IEEE Transactions on Knowledge and Data Engineering, 13:6, (968-979), Online publication date: 1-Nov-2001.
- (2001). Plausibility measures and default reasoning, Journal of the ACM (JACM), 48:4, (648-685), Online publication date: 1-Jul-2001.
- Sim K (2019). Bilattices and Reasoning in ArtificialIntelligence, Artificial Intelligence Review, 15:3, (219-240), Online publication date: 1-May-2001.
- Perlis D The role(s) of belief in AI Logic-based artificial intelligence, (361-374)
- Valiant L (2000). A neuroidal architecture for cognitive computation, Journal of the ACM, 47:5, (854-882), Online publication date: 1-Sep-2000.
- Calvanese D, Giuseppe de Giacomo , Lenzerini M and Vardi M View-Based Query Processing and Constraint Satisfaction Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
- Vardi M Constraint satisfaction and database theory Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (76-85)
- Calvanese D, Vardi M, de Giacomo G and Lenzerini M View-based query processing for regular path queries with inverse Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (58-66)
- Valiant L Robust logics Proceedings of the thirty-first annual ACM symposium on Theory of Computing, (642-651)
- Baader F Logic-based knowledge representation Artificial intelligence today, (13-41)
- Guessoum A (1998). Abductive Knowledge Base Updates for Contextual Reasoning, Journal of Intelligent Information Systems, 11:1, (41-67), Online publication date: 1-Aug-1998.
- McCarty L Some arguments about legal arguments Proceedings of the 6th international conference on Artificial intelligence and law, (215-224)
- Parsons S (1996). Current Approaches to Handling Imperfect Information in Data and Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, 8:3, (353-372), Online publication date: 1-Jun-1996.
- Weld D Planning-based control of software agents Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (268-274)
- Yager R On the representation of nonmoniomc relations in the theory of evidence Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2, (1902-1907)
- Valiant L Rationality Proceedings of the eighth annual conference on Computational learning theory, (3-14)
- Farley A and Freeman K Burden of proof in legal argumentation Proceedings of the 5th international conference on Artificial intelligence and law, (156-164)
- Baral C (2019). Varying Selection Functions To Relate Conditional Logics And Preferential Models, Fundamenta Informaticae, 21:4, (307-319), Online publication date: 1-Dec-1994.
- Henrion M, Provan G, Del Favero B and Sanders G An experimental comparison of numerical and qualitative probabilistic reasoning Proceedings of the Tenth international conference on Uncertainty in artificial intelligence, (319-326)
- Etzioni O and Weld D (1994). A softbot-based interface to the Internet, Communications of the ACM, 37:7, (72-76), Online publication date: 1-Jul-1994.
- Weigert T and Tsai J (2019). A Computationally Tractable Nonmonotonic Logic, IEEE Transactions on Knowledge and Data Engineering, 6:1, (57-63), Online publication date: 1-Feb-1994.
- Tsai J, Weigert T and Jang H (1992). A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis, IEEE Transactions on Software Engineering, 18:12, (1076-1100), Online publication date: 1-Dec-1992.
- Norton L, Dahl D and Linebarger M Recent improvements and benchmark results for the Paramax ATIS system Proceedings of the workshop on Speech and Natural Language, (89-94)
- Yager R (2018). Deductive Approximate Reasoning Systems, IEEE Transactions on Knowledge and Data Engineering, 3:4, (399-414), Online publication date: 1-Dec-1991.
- Korb K (1991). Book review: An Introduction to Default Logic by Philippe Besnard (Springer Verlag, New York, 1989), ACM SIGART Bulletin, 2:4, (187-188), Online publication date: 1-Jul-1991.
- Hoebel L (1991). Book review: Readings in Planning Edited by James Allen, James Hendler, and Austin Tate (Morgan Kaufmann, San Mateo, CA, 1990), ACM SIGART Bulletin, 2:4, (185-186), Online publication date: 1-Jul-1991.
- Cheng J Logical tool of knowledge engineering Proceedings of the 19th annual conference on Computer Science, (228-238)
- Esculier C Non-Monotonic Knowledge Evolution in VLKDBs Proceedings of the 16th International Conference on Very Large Data Bases, (638-649)
- Lenat D, Guha R, Pittman K, Pratt D and Shepherd M (1990). Cyc: toward programs with common sense, Communications of the ACM, 33:8, (30-49), Online publication date: 1-Aug-1990.
- Baker A and Ginsberg M Temporal projection and explanation Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (906-911)
- Finkelstein A Modeling the software process: “not waving but drowning” (panel session) Proceedings of the 11th international conference on Software engineering, (402-404)
- Amsbury W and Harrison P Derivation from first principles of belief values generated in networks by message passing Proceedings of the 17th conference on ACM Annual Computer Science Conference, (131-137)
Index Terms
- Readings in nonmonotonic reasoning
Recommendations
Towards First-Order Nonmonotonic Reasoning
LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic ReasoningWe investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered ...