Alan M. Frisch

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.

[BibT_eX]

Christopher Jefferson

Ian Miguel

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

The Interaction Between Inference and Branching Heuristics.

[BibT_eX]

[DOI]

Lyndon Drake

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Multiset Ordering Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Constraints for Breaking More Row and Column Symmetries.

[BibT_eX]

[DOI]

Christopher Jefferson

Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

A Fixpoint Based Encoding for Bounded Model Checking.

[BibT_eX]

[DOI]

Daniel Sheridan

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Global Constraints for Lexicographic Orderings.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Breaking Row and Column Symmetries in Matrix Models.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2002

Automatic Generation of Implied Clauses for SAT.

[BibT_eX]

[DOI]

Lyndon Drake

Proceedings of the Principles and Practice of Constraint Programming, 2002

CGRASS: A System for Transforming Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Ian Miguel

Proceedings of the Recent Advances in Constraints, 2002

Combining Inference and Search for the Propositional Satisfiability Problem.

[BibT_eX]

[DOI]

Lyndon Drake

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search.

[BibT_eX]

Timothy J. Peugniez

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Automatic Generation of Implied Constraints: Project Description.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1999

Cautious Induction: An Alternative to Clause-at-a Time Hypothesis Construction in Inductive Logic Programming.

[BibT_eX]

[DOI]

Simon Anthony

New Gener. Comput., 1999

Solving Constraint Satisfaction Problems with NB-Resolution.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 1999

Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.

[BibT_eX]

[DOI]

Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

1997

Generating Numerical Literals During Refinement.

[BibT_eX]

[DOI]

Simon Anthony

Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

Cautious Induction in Inductive Logic Programming.

[BibT_eX]

[DOI]

Simon Anthony

Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

1995

Building Theories into Instantiation.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Anytime Deduction for Probabilistic Logic.

[BibT_eX]

[DOI]

Peter Haddawy

Artif. Intell., 1994

1992

An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems.

[BibT_eX]

[DOI]

Tomás E. Uribe

Michael K. Mitchell

Proceedings of the Automated Deduction, 1992

An Abstract View of Sorted Unification.

[BibT_eX]

[DOI]

Anthony G. Cohn

Proceedings of the Automated Deduction, 1992

1991

A Bibliography on Hybrid Reasoning.

[BibT_eX]

[DOI]

Richard B. Scherl

AI Mag., 1991

Thoughts and Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning.

[BibT_eX]

[DOI]

Anthony G. Cohn

AI Mag., 1991

The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1991

Generalizing Atoms in Constraint Logic.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

A General Framework for Modal Deduction.

[BibT_eX]

Richard B. Scherl

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Learning Constrained Atoms.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop (ML91), 1991

1990

A Constraint Logic Approach to Modal Deduction.

[BibT_eX]

[DOI]

Richard B. Scherl

Proceedings of the Logics in AI, European Workshop, 1990

Generalization with Taxonomic Information.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.

[BibT_eX]

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

Convergent deduction for probabilistic logic.

[BibT_eX]

Peter Haddawy

Int. J. Approx. Reason., 1988

Modal logics of higher-order probability.

[BibT_eX]

Peter Haddawy

Proceedings of the UAI '88: Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence, 1988

1987

Inference without Chaining.

[BibT_eX]

[DOI]

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Parsing with restricted quantification: an initial demonstration.

[BibT_eX]

[DOI]

Comput. Intell., 1986

1985

An investigation into inference with restricted quantification and a taxonomic representation.

[BibT_eX]

[DOI]

SIGART Newsl., 1985

Using Model Theory to Specify AI Programs.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

An overview of the HORNE logic programming system.

[BibT_eX]

[DOI]

Mark Giuliano

SIGART Newsl., 1983

1982

Knowledge Retrieval as Limited Inference.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Automated Deduction, 1982

What's in a Semantic Network?

[BibT_eX]

[DOI]

Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, 1982

ARGOT: The Rochester Dialogue System.

[BibT_eX]

[DOI]

Diane J. Litman

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

A Re-Evaluation of Story Grammars.

[BibT_eX]

[DOI]