scientific article; zbMATH DE number 1890628
From MaRDI portal
Publication:4800171
zbMath1010.68797MaRDI QIDQ4800171
Publication date: 2 April 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items (21)
A Model for Phase Transition of Random Answer-Set Programs ⋮ Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results ⋮ Possibilistic uncertainty handling for answer set programming ⋮ Fifty Years of Prolog and Beyond ⋮ Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 ⋮ Random logic programs: Linear model ⋮ Paraconsistency and word puzzles ⋮ A three-valued semantics for querying and repairing inconsistent databases ⋮ Model checking multi-agent systems with logic based Petri nets ⋮ Classification of whist tournaments with up to 12 players ⋮ Comparing action descriptions based on semantic preferences ⋮ Loop-separable programs and their first-order definability ⋮ The near resolvable \(2\)-\((13,4,3)\) designs and thirteen-player whist tournaments ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ The Fusemate logic programming system ⋮ Smodels ⋮ Synthesizing Small and Reliable Tile Sets for Patterned DNA Self-assembly ⋮ Answer Set Programming: A Primer ⋮ Automatic Composition of Melodic and Harmonic Music by Answer Set Programming ⋮ Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
This page was built for publication:
