Searching for authors named Miroslaw Truszczynski – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Automated Reasoning With Nonmonotonic Logics
- …Automated reasoning with nonmonotonic logics (INVITED TALK) Miros/law Truszczy'nski Department…
- Add To MetaCart
-
Strong Equivalence of Nonmonotonic Theories - an Algebraic Approach
- …We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for several nonmonotonic logics including logic programming with aggregates, default l…
- Add To MetaCart
-
Computing Large and Small Stable Models
- … and small stable models Miros law Truszczynski Department of Computer Science, University of Kentucky…
- Cited by 2 (0 self) – Add To MetaCart
-
Minimal Number of Permutations Sufficient to Compute All Extensions a Finite Default Theory
- …/l Cholewi'nski and Miros/law Truszczy'nski Department of Computer Science University of Kentucky Lexington…
- Add To MetaCart
-
Fixed-Parameter Complexity of Semantics for Logic Programs
- …Fixed-parameter complexity of semantics for logic programs Zbigniew Lonc ? and Miros/law Truszczy'nski…
- Add To MetaCart
-
The aspps System
- …The aspps system Deborah East 1 and Miros/law Truszczy'nski 2 1 Department of Computer Science…
- Add To MetaCart
-
Computing Minimal Models, Stable Models and Answer Sets
- …Computing minimal models, stable models and answer sets Zbigniew Lonc 1 and Miros/law Truszczy'nski…
- Add To MetaCart
-
Propositional Satisfiability in Answer-Set Programming
- …Propositional satisfiability in answer-set programming Deborah East and Miros/law Truszczy'nski…
- Cited by 18 (6 self) – Add To MetaCart
-
On the Accuracy and Running Time of GSAT
- …On the Accuracy and Running Time of GSAT Deborah East and Miros/law Truszczy'nski Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Aspps - an Implementation of Answer-Set Programming with Propositional Schemata
- … and Miros/law Truszczy'nski Department of Computer Science University of Kentucky Lexington KY 40506…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
