- Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.details
|
|
Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.details
|
|
ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.details
|
|
Comparing formal theories of context in AI.Luciano Serafini & Paolo Bouquet - 2004 - Artificial Intelligence 155 (1-2):41-67.details
|
|
Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.details
|
|
Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.details
|
|
Hybrid reasoning using universal attachment.Karen L. Myers - 1994 - Artificial Intelligence 67 (2):329-375.details
|
|
A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.details
|
|
Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.details
|
|
An epistemological science of common sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.details
|
|
A metatheory of a mechanized object theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.details
|
|
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.details
|
|
Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.details
|
|
Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (2):239-261.details
|
|
Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.details
|
|
An epistemic logic for formalizing group dynamics of agents.Stefania Costantini, Andrea Formisano & Valentina Pitoni - 2022 - Interaction Studies 23 (3):391-426.details
|
|
Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation.Alan Bundy & Bob Welham - 1981 - Artificial Intelligence 16 (2):189-211.details
|
|
Theory Construction in Psychology: The Interpretation and Integration of Psychological Data.Gordon M. Becker - 1981 - Theory and Decision 13 (3):251.details
|
|
Communication across viewpoints.Giuseppe Attardi & Maria Simi - 1998 - Journal of Logic, Language and Information 7 (1):53-75.details
|
|
Hybrid planning for challenging construction problems: An Answer Set Programming approach.Faseeh Ahmad, Volkan Patoglu & Esra Erdem - 2023 - Artificial Intelligence 319 (C):103902.details
|
|
Automated Deduction—a Basis for Applications, Volume Ii: Systems and Implementation Techniques.Wolfgang Bibel & Peter H. Schmitt (eds.) - 1998 - Dordrecht, Netherland: Springer.details
|
|
Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Richmond Thomason, Paolo Bouquet & Luciano Serafini (eds.), Perspectives on Context. CSLI Stanford. pp. 171-188.details
|
|
Program Verification.Robert S. Boyer & J. Strother Moore - unknowndetails
|
|