Smodels a — A System for Computing Answer Sets of Logic Programs With Aggregates

Lecture Notes in Computer Science- Germany

doi 10.1007/11546207_40

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Answer Sets for Prioritized Logic Programs

1997English

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Smodels System With Limited Lookahead Computation

English

Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming

Proceedings
2019English

LUPS — A Language for Updating Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

A Statistical Learning Method for Logic Programs With Distribution Semantics

1995English

Look-Back Techniques for ASP Programs With Aggregates

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy