Deborah East

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

Publications

Deborah East, Miroslaw Truszczynski
Predicate-calculus-based logics for modeling and solving search problems. ACM Trans. Comput. Log. 7 (1) (2006)
Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski
Tools for modeling and solving search problems. AI Commun. 19 (4) (2006)
Deborah East, Miroslaw Truszczynski
The aspps System. JELIA (2002)
Deborah East, Miroslaw Truszczynski
Propositional satisfiability in declarative programming CoRR (2002)
Deborah East, Miroslaw Truszczynski
aspps - an implementation of answer-set programming with propositional schemata CoRR (2001)
Deborah East, Miroslaw Truszczynski
More on Wire Routing with ASP. Answer Set Programming (2001)
Deborah East, Miroslaw Truszczynski
Propositional Satisfiability in Answer-Set Programming. KI/ÖGAI (2001)
Deborah East, Miroslaw Truszczynski
Propositional satisfiability in answer-set programming CoRR (2001)
Deborah East, Miroslaw Truszczynski
aspps - An Implementation of Answer-Set Programming with Propositional Schemata. LPNMR (2001)
Deborah East, Miroslaw Truszczynski
DATALOG with constraints - an answer-set programming system CoRR (2000)
Deborah East, Miroslaw Truszczynski
dcs: An Implementation of DATALOG with Constraints CoRR (2000)
Deborah East, Miroslaw Truszczynski
On the accuracy and running time of GSAT CoRR (2000)
Deborah East, Miroslaw Truszczynski
DATALOG with Constraints - An Answer-Set Programming System. AAAI/IAAI (2000)
Deborah East, Miroslaw Truszczynski
On the Accuracy and Running Time of GSAT. EPIA (1999)