scientific article; zbMATH DE number 592368
From MaRDI portal
Publication:4296747
admissible specificationsArtificial intelligenceautomated reasoningclause language paradigmDeduction methodologieshigher-order logicintentionalityknowledgelabelled deduction systemLogicLogic programminglogical systemmathematical inductionmeta-languagemeta-logic programmingnonmonotonicitypriority logicreflection principlereificationself-referencetemporal logictermination of algorithmsunificationuniversality of classical logic
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Other applications of logic (03B80) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Logic in artificial intelligence (68T27)
Cited in
(61)- On the logic of causal explanation
- Characterizing the principle of minimum cross-entropy within a conditional-logical framework
- Formalizing narratives using nested circumscription
- Reasoning about actions: steady versus stabilizing state constraints
- A decision algorithm for distributive unification
- Unification in commutative semigroups
- Representing action: indeterminacy and ramifications
- An abstract, argumentation-theoretic approach to default reasoning
- Logic programming and knowledge representation---The A-Prolog perspective
- The qualification problem: A solution to the problem of anomalous models
- Sound generalizations in mathematical induction
- Decidability of bounded second order unification
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Inducing inference relations from inconsistency measures
- On the expressive power of TeamLTL and first-order team logic over hyperproperties
- A quantitative approach to reasoning about incomplete knowledge
- Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
- Paracoherent answer set computation
- First-order stable model semantics with intensional functions
- FTClogic: fuzzy temporal constraint logic
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
- Extending uncertainty formalisms to linear constraints and other complex formalisms
- A behavioural model for vague probability assessments
- Plausible reasoning and plausibility monitoring in language comprehension
- Uncertain lightweight ontologies in a product-based possibility theory framework
- Decidability of bounded higher-order unification
- The unification type of the Pythagorean equation in varieties of nilpotent rings
- Bayesian network modelling through qualitative patterns
- A semantic framework for open processes
- Essential unifiers
- Source-tracking unification
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
- Unification for infinite sets of equations between finite terms
- scientific article; zbMATH DE number 417877 (Why is no real title available?)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- A two-valued logic for properties of strict functional programs allowing partial functions
- scientific article; zbMATH DE number 5539366 (Why is no real title available?)
- scientific article; zbMATH DE number 534879 (Why is no real title available?)
- Projection and scope-determined circumscription
- scientific article; zbMATH DE number 194631 (Why is no real title available?)
- On nominal syntax and permutation fixed points
- Formalising the Fisherman's Folly puzzle
- Confluence without termination via parallel critical pairs
- Systematic Refinement of Abstract State Machines with Higher-Order Logic
- Unification of concept terms in description logics
- On the difference of Horn theories
- Possibility measures and possibility integrals defined on a complete lattice
- Formalizing sensing actions -- a transition function based approach
- Nonmonotonic reasoning by inhibition nets
- Fuzzy temporal constraint logic: A valid resolution principle
- A postulate-driven study of logical argumentation
- On the measure of conflicts: Shapley inconsistency values
- Solving conflicts in information merging by a flexible interpretation of atomic propositions
- Provenance calculus and possibilistic logic: a parallel and a discussion
- A unified view of induction reasoning for first-order logic
- Believing in default rules: inclusive default reasoning
- Fuzzy \(rr\)DFCSP and planning
- Deaccumulation techniques for improving provability
- A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics
- What's right with a syntactic approach to theories and models?
- Reasoning with prioritized information by iterative aggregation of distance functions
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)
