| Shelfclass |
Sortkey |
Title |
| 4.B.5 |
ALFERES, JOSÉ JÚLIO |
Reasoning with Logic Programming |
| 4.B.5 |
AMBLE, TORE |
Logic Programming and Knowledge Engineering |
| 4.B.5 |
ANDREWS, JAMES |
Logic Programming: Operational Semantics and Proof Theory |
| 4.B.5 |
APT, KRZYSZTOF |
Constraint Logic Programming Using ECLiPSe |
| 4.B.5 |
APT, KRZYSZTOF |
Meta-Logics and Logic Programming |
| 4.B.5 |
ARROYO-FIGUEROA JAVIER A |
An Extensible Knowledge Base Programming Language and Its Extensible Object Model |
| 4.B.5 |
BAHGAT, REEM |
Non-Deterministic Concurrent Logic Programming in PANDORA |
| 4.B.5 |
BARAL, CHITTA |
Knowledge Representation, Reasoning and Declarative Problem Solving |
| 4.B.5 |
BARRINGER, HOWARD |
The Imperative Future: Principles of Executable Temporal Logic |
| 4.B.5 |
BEER, JOACHIM |
Concepts, Design, and Performance analysis of a Parallel Prolog Machine |
| 4.B.5 |
BHARATH, RAMACHANDRAN |
Prolog: Sophisticated Applications in Artificial Intelligence |
| 4.B.5 |
BOLEY, HAROLD |
A Tight, Practical Integration of Relations and Functions |
| 4.B.5 |
BRATKO, IVAN |
Prolog: Programming for artificial intelligence |
| 4.B.5 |
CALLEAR, DAVID |
Prolog Programming for Students: with Expert Systems and Artificial Intelligence Topics |
| 4.B.5 |
CAMPBELL, J. A |
Implementations of Prolog |
| 4.B.5 |
CERI, STEFANO |
Logic Programming and Databases |
| 4.B.5 |
CHEESE, ANDREW |
Parallel Execution of Parlog |
| 4.B.5 |
CLARK, K. L |
Micro-PROLOG: Programming in Logic |
| 4.B.5 |
CLOCKSIN, WILLIAM F |
Clause and Effect: Prolog Programming for the Working Programmer |
| 4.B.5 |
CLOCKSIN, WILLIAM F |
Programming in Prolog |
| 4.B.5 |
COLOMB, ROBERT M |
Deductive Databases and their Applications |
| 4.B.5 |
CONSTABLE, R. L |
An Introduction to the PL/CV2 Programming Logic |
| 4.B.5 |
COVINGTON, MICHAEL A |
Natural Language Processing for Prolog Programmers |
| 4.B.5 |
DAS, SUBRATA KUMAR |
Deductive Databases and Logic Programming |
| 4.B.5 |
DEBENHAM, JOHN |
Knowledge Engineering: Unifying Knowledge Base and Database Design |
| 4.B.5 |
DE CASTRO DUTRA, INES |
Parallelism and Implementation of Logic and Constraint Logic Programming |
| 4.B.5 |
DERANSART, PIERRE |
A Grammatical View of Logic Programming |
| 4.B.5 |
DERANSART, PIERRE |
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging |
| 4.B.5 |
DERANSART, PIERRE |
Prolog: the Standard: Reference Manual |
| 4.B.5 |
DIACONESCU, RAZVAN |
CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification |
| 4.B.5 |
DOUGHERTY, RAY C |
Natural Language Computing: An English Generative Grammar in Prolog |
| 4.B.5 |
EISENSTADT, MARC |
The Transparent Prolog Machine: Visualizing Logic Problems |
| 4.B.5 |
FROST, RICHARD |
Introduction to Knowledge Base Systems |
| 4.B.5 |
GALLAIRE, HERVE |
Logic and Data Bases |
| 4.B.5 |
GAZDAR, GERALD |
Natural Language Processing in PROLOG: An Introduction to Computational Linguistics |
| 4.B.5 |
GRAY, PETER M. D |
PROLOG and Databases: Implementations and New Directions |
| 4.B.5 |
GUESGEN, HANS WERNER |
A Perspective of Constraint-Based Reasoning: An Introductory Tutorial |
| 4.B.5 |
HOGGER, CHRISTOPHER JOHN |
Introduction to Logic Programming |
| 4.B.5 |
HÖLLDOBLER, STEFFEN |
Foundations of Equational Logic Programming |
| 4.B.5 |
HUNTBACH, MATTHEW M |
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses |
| 4.B.5 |
ICLP |
ICLP 1991: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991, Proceedings |
| 4.B.5 |
ISHIDA, TORU |
Parallel, Distributed, and Multiagent Production Systems |
| 4.B.5 |
JACQUET, JEAN-MARIE |
Conclog: A Methodological Approach to Concurrent Logic Programming |
| 4.B.5 |
JAMPEL, MICHAEL |
Over-Constrained Systems |
| 4.B.5 |
KACSUK, PETER |
Execution Models of Prolog for Parallel Computers |
| 4.B.5 |
KACSUK, PETER |
Implementations of Distributed Prolog |
| 4.B.5 |
KAKAS, ANTONIS C |
Computational Logic: Logic Programming and Beyond: Eessays in Honour of Robert A. Kowalski: Part I |
| 4.B.5 |
KAKAS, ANTONIS C |
Computational Logic: Logic Programming and Beyond: Essays in honour of Robert A. Kowalski: part 2 |
| 4.B.5 |
KIM, STEVEN H |
Knowledge Systems through Prolog: An Introduction |
| 4.B.5 |
KOWALSKI, ROBERT |
Logic for Problem Solving |
| 4.B.5 |
LAZAREV, GREGORY L |
Why Prolog?: Justifying Logic Programming for Practical Applications |
| 4.B.5 |
LEITE, JOAO ALEXANDRE |
Evolving Knowledge Bases: Specification and Semantics |
| 4.B.5 |
LEVESQUE, HECTOR J |
The Logic of Knowledge Bases |
| 4.B.5 |
LEVI, GIORGIO |
Advances in Logic Programming Theory |
| 4.B.5 |
LI, DEYI |
A PROLOG Database System |
| 4.B.5 |
LLOYD, J. W |
Foundations of Logic Programming |
| 4.B.5 |
LPSS |
LPSS 1992: Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992: Proceedings |
| 4.B.5 |
MARCUS, CLAUDIA |
Prolog Programming: Applications for Database Systems, Expert Systems, and Natural Language Systems |
| 4.B.5 |
MATTHEWS, CLIVE |
An Introduction to Natural Language Processing through Prolog |
| 4.B.5 |
MATTOS, NELSON MENDONCA |
An Approach to Knowledge Base Management |
| 4.B.5 |
META |
META 1992: Meta-Programmming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings |
| 4.B.5 |
MINKER, JACK |
Foundations of Deductive Databases and Logic Programming |
| 4.B.5 |
MOLLER, FARON |
Logics for Concurrency: Structure Versus Automata |
| 4.B.5 |
MOSSES, PETER |
Action Semantics |
| 4.B.5 |
NAISH, LEE |
Negation and Control in PROLOG |
| 4.B.5 |
NAQVI, SHAMIM |
A Logical Language for Data and Knowledge Bases |
| 4.B.5 |
NUSSBAUM, MIGUEL |
Building a Deductive Database |
| 4.B.5 |
PADL |
PADL 1999: Practical Aspects of Declarative Languages: First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings |
| 4.B.5 |
PADL |
PADL 2000: Practical Aspects of Declarative Languages: Second International Workshop, PADL 2000, Boston, MA, USA, January 17-18, 2000, Proceedings |
| 4.B.5 |
PADL |
PADL 2001: Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings |
| 4.B.5 |
PLÜMER, LUTZ |
Termination Proofs for Logic Programs |
| 4.B.5 |
PPCP |
PPCP 1994: Principles and Practice of Constraint Programming: Second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, May 1994: Proceedings |
| 4.B.5 |
RICHARDS, TOM |
Clausal Form Logic: An Introduction to the Logic of Computer Reasoning |
| 4.B.5 |
ROSSBERG, WAYNE |
Constraints as a Paradigm for Computing |
| 4.B.5 |
RULIFSON, JOHNS FREDERICK |
QA4: A Procedural Calculus for Intuitive Reasoning |
| 4.B.5 |
SARASWAT, VIJAY |
Concurrent Constraint Programming |
| 4.B.5 |
SCHMIDT, HELMUT |
Meta-Level Control for Deductive Database Systems |
| 4.B.5 |
SCHMIDT, JOACHIM W |
Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications |
| 4.B.5 |
SHAPIRO, EHUD |
Concurrent Prolog: Vol 1: Collected Papers |
| 4.B.5 |
SHAPIRO, EHUD |
Concurrent Prolog: Vol 2: Collected Papers |
| 4.B.5 |
SNYERS, DOMINIQUE |
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions |
| 4.B.5 |
STERLING, LEON |
The Art of Prolog: Advanced Programming Techniques |
| 4.B.5 |
THAYSE, ANDRE |
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence |
| 4.B.5 |
USM |
USM 2000: Trends in Distributed Systems: Towards a Universal Service Market: Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000: Proceedings |
| 4.B.5 |
VAN LE, T |
Techniques of Prolog Programming: with Implementation of Logical Negation and Quantified Goals |
| 4.B.5 |
VLAHAVAS, IOANNIS |
Parallel, Object-Oriented, and Active Knowledge Base Systems |
| 4.B.5 |
WALKER, ADRIAN |
Knowledge Systems and Prolog: A Logical Approach to Expert Systems and Natural Language Processing |
| 4.B.5 |
WALKER, ADRIAN |
Knowledge Systems and Prolog: Developing Expert, Database, and Natural Language Systems |
| 4.B.5 |
WARREN, DAVID H. D |
Implementing Prolog: Compiling Predicate Logic Programs: Volume 2 |
| 4.B.5 |
YANG, RONG |
P-Prolog: A Parallel Logic Programming Language |