#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1999

2012

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Deborah East, Miroslaw Truszczynski
- ACM Trans. Comput. Log.
- 2006

The answer-set programming (ASP) paradigm is a way of using logic to solve search problems. Given a search problem, to solve it one designs a logic theory so that <i>models</i> of this theoryâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- KI/Ã–GAI
- 2001

We show that propositional logic and its extensions can support answer-set programming in the same way stable logic programming and disjunctive logic programming do. To this end, we introduce a logicâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- AAAI/IAAI
- 2000

Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional logic is, arguably,â€¦ (More)

- Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski
- AI Commun.
- 2006

Deborah East a Mikhail Iakhiaev b Artur Mikitiuk c Miros law TruszczyÅ„ski d Department of Computer Science, Texas State University San Marcos, San Marcos, TX 78666, USA. Department of Computerâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- ArXiv
- 2000

Answer-set programming (ASP) has emerged recently as a viable programming paradigm. We describe here an ASP system, DATALOG with constraints or DC, based on non-monotonic logic. Informally, DCâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- LPNMR
- 2001

We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS +-theories.â€¦ (More)

- Deborah East, Miroslaw Truszczynski
- Answer Set Programming
- 2001

Wire routing is an important component in the design of very large scale integrated circuits (VLSI). In a recent work Erdem et al. argued that routing problems can be solved by general-purposeâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- JELIA
- 2002

1 Introduction The aspps system is an answer-set programming system based on the extended logic of propositional schemata 2], which allows variables but not function symbols in the language. Weâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- EPIA
- 1999

Randomized algorithms for deciding satisfiability were shown to be effective in solving problems with thousands of variables. However, these algorithms are not complete. That is, they provide noâ€¦ (More)

- Deborah East, Miroslaw Truszczynski
- ArXiv
- 2002

Answer-set programming (ASP) paradigm is a way of using logic to solve search problems. Given a search problem, to solve it one designs a theory in the logic so that models of this theory representâ€¦ (More)