scientific article; zbMATH DE number 3664336

Bibliographies for mathematics in general (00A15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99) Information storage and retrieval of data (68P20) Abstract data types; algebraic specification (68Q65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(only showing first 100 items - show all)

Preference-based belief revision for rule-based agents
Pronouns and quantifier-scope in English
A new combination of input and unit deductions for Horn sentences
On the correspondence between two classes of reduction systems
Ordering conjunctive queries
Optimal fixedpoints of logic programs
Automated inferencing
A view of programming languages as symbiosis of meaning and computations
Control and data driven execution of logic programs: A comparison
Communication in concurrent dynamic logic
Fuzzy sets and toposes - towards higher order fuzzy logic
Evidential support logic programming
Inconsistency check of a set of clauses using Petri net reductions
Some results and experiments in programming techniques for propositional logic
A fixpoint semantics of Horn sentences based on substitution sets
On finding optimal and near-optimal lineal spanning trees
A new reduction rule for the connection graph proof procedure
Unification theory
A logic for default reasoning
Yet another efficient backward execution algorithm in the AND/OR process model
A methodology for detecting shared variable dependencies in logic programs
Reduction rules for resolution-based systems
Compositional operational semantics for Prolog programs
Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
A new subsumption method in the connection graph proof procedure
An execution mechanism for nondeterministic, state-oriented programs based on a chart parser
Knowledge and reasoning in program synthesis
A logico-algebraic approach to the model theory of knowledge
Let's plan it deductively!
A heuristic in rules-based systems
Gentzen-type systems, resolution and tableaux
Probabilistic Horn abduction and Bayesian networks
A resolution principle for constrained logics
Path for AND-parallel execution of logic programs
On the termination of clause graph resolution
Polynomial-time inference of all valid implications for Horn and related formulae
Incomplete deductive databases
Multi-dimensional logic programming: theoretical foundations
The independent choice logic for modelling multiple agents under uncertainty
Abstract argumentation systems
Proof-search in type-theoretic languages: An introduction
Logic programming and knowledge representation---The A-Prolog perspective
Linear-space recognition for grammars with contexts
Possible worlds and resources: The semantics of \(\mathbf{BI}\)
The development and evaluation of a fuzzy logic expert system for renal transplantation assignment: Is this a useful tool?
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Default reasoning by deductive planning
Smart office robot collaboration based on multi-agent programming
Naturalizing logic
Meta-interpretive learning as metarule specialisation
Making sense of sensory input
An extension of context-free grammars with one-sided context specifications
Lambda-confluence for context rewriting systems
Improved normal form for grammars with one-sided contexts
A goal-directed decision procedure for hybrid PDL
Two-sided context specifications in formal grammars
Generalized LR parsing algorithm for grammars with one-sided contexts
\textsc{Tor}: modular search with hookable disjunction
Preferential theory revision
The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
Don't care non-determinism in logic program refinement
A Logic Programming and Expert Statistical Systems Approach for Tissue Characterization in Magnetic Resonance Imaging
Generalized LR parsing for grammars with contexts
The interval representation problem
Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
An Algorithm for Generating Arguments in Classical Predicate Logic
scientific article; zbMATH DE number 3769610 (Why is no real title available?)
Horn clause computability
scientific article; zbMATH DE number 3571523 (Why is no real title available?)
A metalogic programming approach: language, semantics and applications
Logical approach to control theory and applications
Logical operations and inference in the complex s-logic
Planning as tabled logic programming
Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison
USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN
LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY
Foundations of linear-time logic programming
scientific article; zbMATH DE number 7453187 (Why is no real title available?)
A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
In praise of impredicativity: a contribution to the formalization of meta-programming
A logic-based calculus of events
Rough Pragmatic Description Logic
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
A deductive solution for plan generation
An experimental logic based on the fundamental deduction principle
A logical framework for depiction and image interpretation
Fuzzy logic programming
Parallel Logic Programming: A Sequel
Semantical analysis of the logic of bunched implications
Three views on dependency covers from an FCA perspective
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Algorithms for generating arguments and counterarguments in propositional logic
scientific article; zbMATH DE number 7680806 (Why is no real title available?)
Reductive logic, proof-search, and coalgebra: a perspective from resource semantics
The key universal quality of logical abductive inferences: does optimization of eco-cognitive situatedness supersede other criteria like minimality, consistency, relevance and plausibility?
The alternating fixpoint of logic programs with negation
A result on the computational complexity of heuristic estimates for the A^* algorithm
Closures and fairness in the semantics of programming logic
Operators vs. arguments: The ins and outs of reification

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 Q3862380)