Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Logica Universalis Towards a General Theory of Logic

Logic, meaning, and conversation semantical underdeterminacy, implicature, and their interface

Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers