Вы здесь

Главная

суждение

Связанные издания:

Advances in Case-Based Reasoning: Proc./9th European Conference, ECCBR 2008. Trier, Germany, September 2008
Annotating, Extracting and Reasoning about Time and Events: Revised Papers/International Seminar. Dagstuhl Castle, Germany, April 2005
Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers/4th International Workshop, ArgMAS 2007. Honolulu, HI, USA, May 2007
Automated Reasoning: Proc./Third International Joint Conference, IJCAR 2006. Seattle, WA, USA, August 2006
Diagrammatic Representation and Inference: Proc./5th International Conference, Diagrams 2008. Herrsching, Germany, September 2008
Invariants, Modularity, and Rights
Logic for Programming, Artificial Intelligence, and Reasoning: Proc./15th International Conference, LPAR 2008. Doha, Quatar, November 2008
Logic Programming and Nonmonotonic Reasoning: Proc./10th International Conference, LPNMR 2009, Potsdam, Germany, September 2009
Logic Programming and Nonmonotonic Reasoning: Proc./8th International Conference, LPNMR 2005. Diamante, Italy, September 2005
Logic Programming and Nonmonotonic Reasoning: Proc./9th International Conference, LPNMR 2007. Temple, AZ, USA, MAy 2007
Logics in Artificial Intelligence: Proc./11th European Conference, JELIA 2008. Dresden, Germany, September/October 2008
Principles and Practice of Semantic Web Reasoning: Revised Selected Papers/4th International Workshop, PPSWR 2006. Budva, Montenegro, June 2006
Reasoning, Action and Interaction in AI Theories and Systems: Essays Dedicated to Luigia Carlucci Aiello
Sigma (k) - constraints for Hybrid Systems
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./9th European Conference, ECSQUARU 2007. Hammamet, Tunisia, October/November 2007
The Semantic Web - ASWC 2006: Proc./First Asian Semantic Web Conference. Beijing, China, September 2006
Types for Proofs and Programs: Revised Selected Papers/International Conference, TYPES 2008. Cividale del Friuli, Italy, May 2007
Uncertainty Reasoning for the Semantic Web I: Revised Selected and Invited Papers/ISWC International Workshops URSW 2005-2007
Web Reasoning and Rule Systems: Proc./Second International Conference, RR 2008. Karlsruhe, Germany, October/November 2008