Deborah East

According to our database, Deborah East authored at least 10 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2006

Predicate-calculus-based logics for modeling and solving search problems.

Deborah East, Miroslaw Truszczynski

ACM Trans. Comput. Log., 2006

Tools for modeling and solving search problems.

Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski

AI Commun., 2006

2002

Propositional satisfiability in declarative programming

Deborah East, Miroslaw Truszczynski

CoRR, 2002

The aspps System.

Deborah East, Miroslaw Truszczynski

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

aspps - An Implementation of Answer-Set Programming with Propositional Schemata.

Deborah East, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Propositional Satisfiability in Answer-Set Programming.

Deborah East, Miroslaw Truszczynski

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

More on Wire Routing with ASP.

Deborah East, Miroslaw Truszczynski

Proceedings of the Answer Set Programming, 2001

2000

dcs: An Implementation of DATALOG with Constraints

Deborah East, Miroslaw Truszczynski

CoRR, 2000

DATALOG with Constraints - An Answer-Set Programming System.

Deborah East, Miroslaw Truszczynski

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

On the Accuracy and Running Time of GSAT.

Deborah East, Miroslaw Truszczynski

Proceedings of the Progress in Artificial Intelligence, 1999