Kowalski, R., 1974. Logic for problem solving, University of Edinburgh, Department of Artificial Intelligence, DCL memo 75. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Acknowledgments - The First Thanks (Correct)
Prolog Programming - First Course Paul (Correct)
Towards State Update Axioms: Reifying Successor State Axioms - Thielscher (Correct)
A Comparison of Decision-Level Sensor-Fusion.. - Cremer, Schutte.. (2001) (1 citation) (Correct)
Translating Spanish into Logic through Logic - Dahl (1981) (4 citations) (Correct)
Evaluation of Structure Charts: a Logic Programming Approach - Chen, Kwok, Tang, Tse (1991) (Correct)
Flexible Query-Answering Systems Modelled in Metalogic.. - Andreasen, Christiansen (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
Possible Worlds and Resources: The Semantics of BI - Pym, O'Hearn, Yang (2002) (6 citations) (Correct)
A Multi-Level Programming Model of a Query Optimizer - Bielikova, Finance, Navrat (1997) (Correct)
A Framework for Programming Embedded Systems: Initial Design and.. - Thrun (1998) (1 citation) (Correct)
Solving Design Problems in a Logic-Based Visual Design.. - Banyasad, Cox (2001) (Correct)
Combining Logic Programming and Equation Solving - Hölldobler (Correct)
A Heuristic in Rules Based Systems - Castro, Zurita (1993) (Correct)
Errors Detection and Correction in Large Scale Data Collecting - Bruni, Sassano (2001) (4 citations) (Correct)
A Prolog-based Architecture for an Object-Oriented CASE Shell - Zimanyi, Kolp (1996) (Correct)
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
Constraint Logic Programming - Copyright Fran Cois (Correct)
Declarative Languages in Education - Glaser, Hartel, Leuschel, Martin (2000) (Correct)
The KGP Model of Agency for Global Computing.. - Bracciali.. (2004) (Correct)
Deductive Runtime Certification - Arkoudas, Rinard (2004) (Correct)
Curriculum and Course Syllabi for a High-School Program in.. - Gal-Ezer, Harel (Correct)
Logic Programming and Knowledge Representation - the A-Prolog .. - Gelfond, Leone (2002) (3 citations) (Correct)
Towards a Solution to a Plan-Formation Problem - Winkowski (2002) (Correct)
Interpretation as Abduction - Jerry Hobbs Mark (1990) (280 citations) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC