Switch to: References

Add citations

You must login to add citations.
  1. Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Search and Reasoning in problem solving.Herbert A. Simon - 1983 - Artificial Intelligence 21 (1-2):7-29.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • ML systems: A proof theory for contexts. [REVIEW]Luciano Serafini & Fausto Giunchiglia - 2002 - Journal of Logic, Language and Information 11 (4):471-518.
    In the last decade the concept of context has been extensivelyexploited in many research areas, e.g., distributed artificialintelligence, multi agent systems, distributed databases, informationintegration, cognitive science, and epistemology. Three alternative approaches to the formalization of the notion ofcontext have been proposed: Giunchiglia and Serafini's Multi LanguageSystems (ML systems), McCarthy's modal logics of contexts, andGabbay's Labelled Deductive Systems.Previous papers have argued in favor of ML systems with respect to theother approaches. Our aim in this paper is to support these arguments froma (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Comparing formal theories of context in AI.Luciano Serafini & Paolo Bouquet - 2004 - Artificial Intelligence 155 (1-2):41-67.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Hybrid reasoning using universal attachment.Karen L. Myers - 1994 - Artificial Intelligence 67 (2):329-375.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Multilanguage hierarchical logics, or: How we can do without modal logics.Fausto Giunchiglia & Luciano Serafini - 1994 - Artificial Intelligence 65 (1):29-70.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • An epistemological science of common sense.Fausto Giunchiglia - 1995 - Artificial Intelligence 77 (2):371-392.
    Download  
     
    Export citation  
     
    Bookmark  
  • A metatheory of a mechanized object theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (2):239-261.
    In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by one or more inference steps. We choose to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An epistemic logic for formalizing group dynamics of agents.Stefania Costantini, Andrea Formisano & Valentina Pitoni - 2022 - Interaction Studies 23 (3):391-426.
    In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us to model aspects (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Theory Construction in Psychology: The Interpretation and Integration of Psychological Data.Gordon M. Becker - 1981 - Theory and Decision 13 (3):251.
    Download  
     
    Export citation  
     
    Bookmark  
  • Communication across viewpoints.Giuseppe Attardi & Maria Simi - 1998 - Journal of Logic, Language and Information 7 (1):53-75.
    A case situation arising in a normal interaction among people is the baseline for discussing properties of the theory of viewpoints. In particular we consider how to ensure agreement on the meaning of certain utterances by agents who have different perspectives on the situation, while maintaning other knowledge as private. We argue that communication should be modeled as adding facts to the common knowledge of agents. We introduce the principle of ''referent sharing'' in communications and argue that common knowledge resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hybrid planning for challenging construction problems: An Answer Set Programming approach.Faseeh Ahmad, Volkan Patoglu & Esra Erdem - 2023 - Artificial Intelligence 319 (C):103902.
    Download  
     
    Export citation  
     
    Bookmark  
  • Automated Deduction—a Basis for Applications, Volume Ii: Systems and Implementation Techniques.Wolfgang Bibel & Peter H. Schmitt (eds.) - 1998 - Dordrecht, Netherland: Springer.
    Download  
     
    Export citation  
     
    Bookmark  
  • Truth-conditional pragmatics: an overview.Francois Recanati - 2008 - In Richmond Thomason, Paolo Bouquet & Luciano Serafini (eds.), Perspectives on Context. CSLI Stanford. pp. 171-188.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Program Verification.Robert S. Boyer & J. Strother Moore - unknown
    How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.
    Download  
     
    Export citation  
     
    Bookmark