scientific article; zbMATH DE number 3359806
From MaRDI portal
zbMath0226.68044MaRDI QIDQ5633670
Patrick J. Hayes, John McCarthy
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Dynamic Reasoning Systems, Progression of Decomposed Local-Effect Action Theories, Stable Models for Temporal Theories, A Logic of Knowing How, Beyond Lamport's Happened-before, Unnamed Item, A temporal revision model for reasoning about world change, Multiagent reasoning with probability, time, and beliefs, Towards an integration of time and causation in a hybrid knowledge representation formalism, Temporal equilibrium logic: a survey, Some properties of system descriptions of, Probabilistic Event Calculus for Event Recognition, Situation calculus specifications for event calculus logic programs, Deriving conclusions from non-monotonic cause-effect relations, Non-monotonic spatial reasoning with answer set programming modulo theories, Inputs, Outputs, and Composition in the Logic of Information Flows, Referentiality and configurationality in the idiom and the phrasal verb, Efficient modular SMT-based model checking of pointer programs, Separability, contextuality, and the quantum frame problem, An algebraic glimpse at bunched implications and separation logic, Temporal Equilibrium Logic: A First Approach, Unnamed Item, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen, Unnamed Item, Strongly Equivalent Temporal Logic Programs, Intelligent agents in the Situation Calculus: An application to user modelling, Modal logic for modelling actions and agents, Investigating the solution space for online iterative explanation in goal reasoning agents, Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison, An Approach to Human-Level Commonsense Reasoning, Situations as Strings, Temporal disjunctive logic programming, Counterfactuals, Thirteen Definitions of a Stable Model, Temporal representation and reasoning in artificial intelligence: A review, A probabilistic commonsense reasoner, Information sharing between heterogeneous uncertain reasoning models in a multi-agent environment: A case study, KNOWLEDGE REPRESENTATION: A SURVEY OF ITS MECHANISMS, A SKETCH OF ITS SEMANTICS, Unnamed Item, Learning Stochastic Logical Automaton, Preface, Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning, A Semantical Account of Progression in the Presence of Defaults, Making Golog Norm Compliant, Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web, On the Reconciliation of Logics of Agency and Logics of Event Types, Planning under uncertainty as G<scp>OLOG</scp>programs, Connection-based proof construction in linear logic, Access Control for Cooperation Systems Based on Group Situation, A Declarative Agent Programming Language Based on Action Theories, Twelve Definitions of a Stable Model, Incorporating Action Models into the Situation Calculus, Logic and Complexity in Cognitive Science, Recent advances in computational models of natural argument, Kantian Philosophy of Mathematics and Young Robots, An argument-based decision support system for assessing natural language usage on the basis of the web corpus, Knowledge assimilation in domains of actions: a possible causes approach, Unnamed Item, A Non-Deterministic Multiset Query Language, Relevance in Belief Update, What Sort of Information-Processing Machinery Could Ancient Geometers Have Used?, Reactive computing as model generation, Non-standard algorithmic and dynamic logic, Closed-world databases and circumscription, Bounded situation calculus action theories, Nonmonotonic abductive inductive learning, Action models for conditionals, Logical theories of intention and the database perspective, A qualitative spatial representation of string loops as holes, Progression and verification of situation calculus agents with bounded beliefs, A logical theory of localization, Temporal logics in AI: semantical and ontological considerations, On conceptual model specification and verification, Planning for conjunctive goals, Reasoning about action. I: A possible worlds approach, Reasoning about action. II: The qualification problem, Answer set based design of knowledge systems, Problems in formal temporal reasoning, Operators vs. arguments: The ins and outs of reification, Computational representation of practical argument, Nonmonotonic logic and temporal projection, A preferential semantics for causal reasoning about action, An algebraic framework for temporal attribute characteristics, A description logic based situation calculus, Defaults and relevance in model-based reasoning, Planning parallel actions, Brain-like computing based on distributed representations and neurodynamics, Semantical considerations on multiagent only knowing, A logic for default reasoning, Prolegomena to a theory of mechanized formal reasoning, Extended inference modes in reasoning by computer systems, Circumscription - a form of non-monotonic reasoning, Non-monotonic logic. I, Approximate postdictive reasoning with answer set programming, Semantic-based construction of arguments: an answer set programming approach, Robot location estimation in the situation calculus, Function extraction, Theory construction in psychology: The interpretation and integration of psychological data, A new deductive approach to planning, Frames in the space of situations, A uniform theory of conditionals, Nonmonotonic reasoning in the framework of situation calculus, Maintaining mental models of agents who have existential misconceptions, Understanding epistemic relevance, The validity of Dempster-Shafer belief functions, Reusing and modifying rulebases by predicate substitution, An introduction to mechanized reasoning, A non-reified temporal logic, A guide to completeness and complexity for modal logics of knowledge and belief, A logic-based calculus of events, A theory of abstraction, The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself, Semantic networks, The ECO family, Subsumption computed algebraically, Imperatives: a judgemental analysis, The dynamic frames theory, Constructing situations and time, John McCarthy's legacy, Non-Markovian control in the Situation Calculus, \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem, Approximation of action theories and its application to conformant planning, A unifying action calculus, A semantic characterization of a useful fragment of the situation calculus with knowledge, Iterated belief change in the situation calculus, First-order logical filtering, Semantics and complexity of recursive aggregates in answer set programming, Formalising the Fisherman's Folly puzzle, The well-designed logical robot: learning and experience from observations to the Situation Calculus, From systems to logic in the early development of nonmonotonic reasoning, McCarthy variations in a modal key, Retrieval from context trees, A logical theory of robot problem solving, A deductive solution for plan generation, A logical framework for depiction and image interpretation, Property persistence in the situation calculus, Situations in LTL as strings, Linear temporal logic as an executable semantics for planning languages, Plans, actions and dialogues using linear logic, Miracles in formal theories of action, What robots can do: robot programs and effective achievability, Formalizing narratives using nested circumscription, The expressive power of circumscription, Reasoning about actions: steady versus stabilizing state constraints, Let's plan it deductively!, Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator, Inductive situation calculus, Metatheory of actions: beyond consistency, The logical foundations of goal-regression planning in autonomous agents, Towards a general theory of action and time, Network languages for complex systems, The scope and limits of simulation in automated reasoning, Dynamical duality of type- and token-computation as an abstract brain, Knowledge, action, and the frame problem, A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system, Introduction: Progress in formal commonsense reasoning, A unifying semantics for time and events, Nonmonotonic causal theories, Logic-based subsumption architecture, Heuristic planning: A declarative approach based on strategies for action selection, A causal approach to nonmonotonic reasoning, Time representation: A taxonomy of temporal models, Hybrid reasoning using universal attachment, Analyzing generalized planning under nondeterminism, The guarded fragment with transitive guards, Reasoning with ordered binary decision diagrams, Two counterexamples related to Baker's approach to the frame problem, Motivated action theory: A formal theory of causal reasoning, An overview of transaction logic, Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions, A New Incarnation of Action Language H, Logics of Rational Interaction, Issues in commonsense set theory, Autonomous agents modelling other agents: a comprehensive survey and open problems, Default reasoning by deductive planning, Mechanical verification on strategies, Intention is choice with commitment, Relevant Minimal Change in Belief Update, A formal characterisation of Hamblin's action-state semantics, Belief revision, conditional logic and nonmonotonic reasoning, Mechanizing common knowledge logic using COQ, Network languages for intelligent control, Active logic semantics for a single agent in a static world, Pouring liquids: a study in commonsense physical reasoning, The well-designed young mathematician, A family of dynamic description logics for representing and reasoning about actions, Network languages for concurrent multiagent systems, Abduction to plausible causes: an event-based model of belief update, Off-line reasoning for on-line efficiency: knowledge bases, Dynamical temporal interpretation contexts for temporal abstraction, Reasoning about time in the situation calculus, Applying the persistent set approach in temporal reasoning, Representing diagnosis knowledge, Knowledge-based programs as building blocks for planning, Resolving distributed knowledge, Representing action: indeterminacy and ramifications, In search of a ``true logic of knowledge: the nonmonotonic perspective, ALX, an action logic for agents with bounded rationality, The independent choice logic for modelling multiple agents under uncertainty, Causality as a key to the frame problem, Indexical knowledge and robot action -- a logical account, From statistical knowledge bases to degrees of belief, Ramification and causality, Dynamic reasoning with qualified syllogisms, Reasoning about non-immediate triggers in biological networks, A framework for knowledge-based temporal abstraction, Introduction to computability logic, First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus, Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems, Probabilistic reasoning about epistemic action narratives, Cost-based temporal reasoning, A general first-order solution to the ramification problem with cycles, A logic of goal-directed knowing how, Event calculus and temporal action logics compared, Conformant planning via heuristic forward search: A new approach, Knowledge and communication: A first-order theory, A semantics for means-end relations, Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes), Judgment aggregation in nonmonotonic logic, t-DeLP: an argumentation-based temporal defeasible logic programming framework, Learning from interpretation transition, Local logics, non-monotonicity and defeasible argumentation, A probabilistic interval-based event calculus for activity recognition, \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions, Approximate verification of strategic abilities under imperfect information, Generating plans in linear logic. I: Actions as proofs, Generating plans in linear logic. II: A geometry of conjunctive actions, Relation-based evidential reasoning, Partially observable game-theoretic agent programming in Golog, Regression and progression in stochastic domains, The aspect calculus, Situation calculus for controller synthesis in manufacturing systems with first-order state representation, Learning Inference by Induction, Formal methods in the design of question-answering systems, Metabolic Pathways as Temporal Logic Programs, The Spatial Semantic Hierarchy, Specifying causality in action theories: A default logic approach, Stochastic dynamic programming with factored representations, ConGolog, a concurrent programming language based on the situation calculus, Planning in a hierarchy of abstraction spaces, Understanding dynamic scenes, The refinement extension principle for semantics of dynamic logic programming, Alan: An action language for modelling non-Markovian domains, The logic of tasks, The dramatic true story of the frame default, Horn approximations of empirical data, A circumscriptive calculus of events, In search of a ``true logic of knowledge: The nonmonotonic perspective, A linguistic approach to geometric reasoning, Asynchronous knowledge with hidden actions in the situation calculus, The inevitability of inconsistent abstract spaces, Probabilistic Horn abduction and Bayesian networks, Multilanguage hierarchical logics, or: How we can do without modal logics, Proving properties of states in the situation calculus, An information-based theory of conditionals, Logic programming and knowledge representation---The A-Prolog perspective, Ordered binary decision diagrams as knowledge-bases, The qualification problem: A solution to the problem of anomalous models, A comparison of point-based approaches to qualitative temporal reasoning, Process algebra and conditional composition, Translations of network languages
