scientific article; zbMATH DE number 592368
zbMATH Open0810.68005MaRDI QIDQ4296747FDOQ4296747
Authors:
Publication date: 21 June 1994
Title of this publication is not available (Why is that?)
Recommendations
knowledgetemporal logicautomated reasoninghigher-order logicunificationreflection principlenonmonotonicitylogical systemmathematical inductionself-referenceintentionalityArtificial intelligenceLogicLogic programmingreificationlabelled deduction systemmeta-languagepriority logicadmissible specificationsclause language paradigmDeduction methodologiesmeta-logic programmingtermination of algorithmsuniversality of classical logic
Logic in artificial intelligence (68T27) Other applications of logic (03B80) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Cited In (59)
- A postulate-driven study of logical argumentation
- Provenance calculus and possibilistic logic: a parallel and a discussion
- On nominal syntax and permutation fixed points
- On the difference of Horn theories
- Source-tracking unification
- Characterizing the principle of minimum cross-entropy within a conditional-logical framework
- Unification of concept terms in description logics
- Inducing inference relations from inconsistency measures
- Deaccumulation techniques for improving provability
- Unification in commutative semigroups
- On the measure of conflicts: Shapley inconsistency values
- Title not available (Why is that?)
- Possibility measures and possibility integrals defined on a complete lattice
- Title not available (Why is that?)
- Confluence without termination via parallel critical pairs
- Formalizing sensing actions -- a transition function based approach
- Sound generalizations in mathematical induction
- The unification type of the Pythagorean equation in varieties of nilpotent rings
- Reasoning with prioritized information by iterative aggregation of distance functions
- Projection and scope-determined circumscription
- Formalizing narratives using nested circumscription
- Reasoning about actions: steady versus stabilizing state constraints
- Unification for infinite sets of equations between finite terms
- On the logic of causal explanation
- An abstract, argumentation-theoretic approach to default reasoning
- A semantic framework for open processes
- Paracoherent answer set computation
- Fuzzy temporal constraint logic: A valid resolution principle
- A quantitative approach to reasoning about incomplete knowledge
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- Representing action: indeterminacy and ramifications
- FTClogic: fuzzy temporal constraint logic
- The qualification problem: A solution to the problem of anomalous models
- Decidability of bounded second order unification
- Title not available (Why is that?)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic
- Formalising the Fisherman's Folly puzzle
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- On the expressive power of TeamLTL and first-order team logic over hyperproperties
- Essential unifiers
- Solving conflicts in information merging by a flexible interpretation of atomic propositions
- Decidability of bounded higher-order unification
- A behavioural model for vague probability assessments
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
- Plausible reasoning and plausibility monitoring in language comprehension
- A decision algorithm for distributive unification
- What's right with a syntactic approach to theories and models?
- A two-valued logic for properties of strict functional programs allowing partial functions
- First-order stable model semantics with intensional functions
- Logic programming and knowledge representation---The A-Prolog perspective
- Uncertain lightweight ontologies in a product-based possibility theory framework
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Title not available (Why is that?)
- Fuzzy \(rr\)DFCSP and planning
- Extending uncertainty formalisms to linear constraints and other complex formalisms
- Bayesian network modelling through qualitative patterns
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
- Nonmonotonic reasoning by inhibition nets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4296747)
