The Smodels system

DOI10.1007/3-540-45402-0_38MaRDI QIDQ4800171zbMATH OpenFDO

Authors Tommi Syrjänen, Ilkka Niemelä

Publication date 2 April 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45402-0_38

Mathematics Subject Classification ID

Logic programming (68N17) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies and applications (68U99)

Recommendations

• Logic Programming
• Extending the Smodels system with cardinality and weight constraints
• System description: DLV
• scientific article; zbMATH DE number 1931692
• Extending and implementing the stable model semantics

Cited in

(25)

• Classification of whist tournaments with up to 12 players
• Smodels
• The Fusemate logic programming system
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• A three-valued semantics for querying and repairing inconsistent databases
• Model checking multi-agent systems with logic based Petri nets
• Comparing action descriptions based on semantic preferences
• The near resolvable 2-(13,4,3) designs and thirteen-player whist tournaments
• Extending the Smodels system with cardinality and weight constraints
• Synthesizing small and reliable tile sets for patterned DNA self-assembly
• Answer Set Programming: A Primer
• scientific article; zbMATH DE number 125188 (Why is no real title available?)
• OR/SM: A Prototype Integrated Modeling Environment Based on Structured Modeling
• Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
• Random logic programs: linear model
• Paraconsistency and word puzzles
• scientific article; zbMATH DE number 1931692 (Why is no real title available?)
• Answering the ``why in answer set programming -- a survey of explanation approaches
• A model for phase transition of random answer-set programs
• Loop-separable programs and their first-order definability
• Automatic Composition of Melodic and Harmonic Music by Answer Set Programming
• Fifty Years of Prolog and Beyond
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
• Possibilistic uncertainty handling for answer set programming

This page was built for publication: The Smodels system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4800171)