You have Guest access.
Log In
Scott Weinstein
From the issue entitled "Intuitionism"
Book Chapter
Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez Artalejo and Rafael del Vado Vírseda
Lecture Notes in Computer Science, 2006, Volume 4079, Logic Programming, Pages 421-422
Extending HCONE-Merge by Approximating the Intended Meaning of Ontology Concepts Iteratively
George A. Vouros and Konstantinos Kotis
Lecture Notes in Computer Science, 2005, Volume 3532, The Semantic Web: Research and Applications, Pages 198-210
Parallel recursive program schemes
Antoni Mazurkiewicz
Lecture Notes in Computer Science, 1975, Volume 32, Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázne, September 1–5, 1975, Pages 75-87
Database description
Lecture Notes in Computer Science, 1981, Volume 116, The Concurrency Control Problem for Database Systems, Pages 83-97
Unified domains and abstract computational structures
J. Calmet, K. Homann and I. A. Tjandra
Lecture Notes in Computer Science, 1993, Volume 737, Artificial Intelligence and Symbolic Mathematical Computing, Pages 166-177
Inductive learning of normal clauses
Christel Vrain and Lionel Martin
Lecture Notes in Computer Science, 1994, Volume 784, Machine Learning: ECML-94, Pages 435-438
A new diagnosis approach by deduction and abduction
Béchir El. Ayeb, Pierre Marquis and Michaël Rusinowitch
Lecture Notes in Computer Science, 1990, Volume 462, Expert Systems in Engineering Principles and Applications, Pages 32-46
A sketch of analogy as reasoning with equality hypotheses
Randy Goebel
Lecture Notes in Computer Science, 1989, Volume 397, Analogical and Inductive Inference, Pages 243-253
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
Michael Wooldridge
Lecture Notes in Computer Science, 2002, Volume 2479, KI 2002: Advances in Artificial Intelligence, Pages 309-353
Michael Wooldridge and Wiebe van der Hoek
Lecture Notes in Computer Science, 2002, Volume 2315, Coordination Models and Languages, Pages 117-130
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info