Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J....

Selected Logic Papers

Selected logic papers

SELECTED LOGIC PAPERS World Scientific Series in 20th Century Mathematics Published Vol. 1 The Neumann Compendium ed...

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Lecture Notes in Artificial Intelligence Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes ...

Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Logic Programming and Nonmonotonic Reasoning - LPNMR 2011

Lecture Notes in Artiﬁcial Intelligence Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes i...

Swarm Robotics: SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

Lecture Notes in Computer Science Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris ...

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Selected Logic Papers

Selected logic papers

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Logic Programming and Nonmonotonic Reasoning - LPNMR 2011

Swarm Robotics: SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Evolutionary Computing. 1994: AISB Workshop, Leeds, U. K., April 11 - 13, 1994. Selected Papers

Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers: CAST '94 - International ... Papers 4th

Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers

Circuit Cellar (June 1994)

Digital Libraries - Current Issues: Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers

ECOOP '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings

Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 7 - 10, 1994. Selected Papers

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Non-Monotonic Extensions of Logic Programming, NMELP '96

Selected Papers

Inductive Logic Programming, 17 conf., ILP 2007

Linear Programming and Extensions

Logic Programming and Nonmonotonic Reasoning, 9 conf., LPNMR 2007

Selected Papers

Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers

Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings

Selected Logic Papers

Selected logic papers

Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings

Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

Logic and Computational Complexity: International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers

Logic Programming and Nonmonotonic Reasoning - LPNMR 2011

Swarm Robotics: SAB 2004 International Workshop, Santa Monica, CA, USA, July 17, 2004, Revised Selected Papers

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings

Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94

Fuzzy Logic and Applications: 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Evolutionary Computing. 1994: AISB Workshop, Leeds, U. K., April 11 - 13, 1994. Selected Papers

Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings

Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers

Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers: CAST '94 - International ... Papers 4th

Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers

Circuit Cellar (June 1994)

Digital Libraries - Current Issues: Digital Libraries Workshop, DL '94, Newark, NJ, USA, May 19- 20, 1994. Selected Papers

ECOOP '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings

Advances in Case-Based Reasoning: Second European Workshop, EWCBR-94, Chantilly, France, November 7 - 10, 1994. Selected Papers

Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Non-Monotonic Extensions of Logic Programming, NMELP '96

Selected Papers

Inductive Logic Programming, 17 conf., ILP 2007

Linear Programming and Extensions

Logic Programming and Nonmonotonic Reasoning, 9 conf., LPNMR 2007

Selected Papers

Recommend Documents