7. KR 2000:
Breckenridge, Colorado, USA
share record
short URL:
https://dblp.org/rec/conf/kr/2000 Anthony G. Cohn ,
Fausto Giunchiglia ,
Bart Selman :
KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000. Morgan Kaufmann 2000
share record
short URL:
https://dblp.org/rec/conf/kr/WolterZ00 share record
short URL:
https://dblp.org/rec/conf/kr/CristaniCB00 share record
short URL:
https://dblp.org/rec/conf/kr/Galton00 share record
short URL:
https://dblp.org/rec/conf/kr/Stell00
Non Monotonic Reasoning 1
share record
short URL:
https://dblp.org/rec/conf/kr/DimopoulosNT00 share record
short URL:
https://dblp.org/rec/conf/kr/EiterL00 share record
short URL:
https://dblp.org/rec/conf/kr/DeneckerMT00 share record
short URL:
https://dblp.org/rec/conf/kr/Lifschitz00
share record
short URL:
https://dblp.org/rec/conf/kr/Reiter00 share record
short URL:
https://dblp.org/rec/conf/kr/Thielscher00 share record
short URL:
https://dblp.org/rec/conf/kr/ChomickiLN00
Integration of Knowledge Sources
share record
short URL:
https://dblp.org/rec/conf/kr/Konieczny00 share record
short URL:
https://dblp.org/rec/conf/kr/LiberatoreS00 share record
short URL:
https://dblp.org/rec/conf/kr/Maynard-ReidL00
share record
short URL:
https://dblp.org/rec/conf/kr/Lin00 share record
short URL:
https://dblp.org/rec/conf/kr/CalvaneseGLV00 share record
short URL:
https://dblp.org/rec/conf/kr/Massacci00 Fabio Massacci :
Reduction rules and universal variables for first order tableaux and DPLL. KR 2000 :
186-197 share record
short URL:
https://dblp.org/rec/conf/kr/Voronkov00
share record
short URL:
https://dblp.org/rec/conf/kr/FattahP00 share record
short URL:
https://dblp.org/rec/conf/kr/Yelland00 share record
short URL:
https://dblp.org/rec/conf/kr/AmorBDGP00 share record
short URL:
https://dblp.org/rec/conf/kr/Bloch00
share record
short URL:
https://dblp.org/rec/conf/kr/BaaderK00 share record
short URL:
https://dblp.org/rec/conf/kr/HaarslevM00 share record
short URL:
https://dblp.org/rec/conf/kr/HorrocksT00 share record
short URL:
https://dblp.org/rec/conf/kr/BaaderKM00
share record
short URL:
https://dblp.org/rec/conf/kr/BaralMS00 share record
short URL:
https://dblp.org/rec/conf/kr/VerberneHT00 share record
short URL:
https://dblp.org/rec/conf/kr/LampertiZ00 share record
short URL:
https://dblp.org/rec/conf/kr/Wassermann00
share record
short URL:
https://dblp.org/rec/conf/kr/IsmailS00 share record
short URL:
https://dblp.org/rec/conf/kr/Mota00 Edjard Mota :
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe. KR 2000 :
366-377 share record
short URL:
https://dblp.org/rec/conf/kr/BalbianiO00
share record
short URL:
https://dblp.org/rec/conf/kr/AmirM00 share record
short URL:
https://dblp.org/rec/conf/kr/BesnardS00 share record
short URL:
https://dblp.org/rec/conf/kr/JanhunenNSY00
Learning and Decision Making
share record
short URL:
https://dblp.org/rec/conf/kr/CumbyR00 share record
short URL:
https://dblp.org/rec/conf/kr/BisoRS00 share record
short URL:
https://dblp.org/rec/conf/kr/FargierLM00 share record
short URL:
https://dblp.org/rec/conf/kr/LafageL00
share record
short URL:
https://dblp.org/rec/conf/kr/Chalupsky00 share record
short URL:
https://dblp.org/rec/conf/kr/McGuinnessFRW00 share record
short URL:
https://dblp.org/rec/conf/kr/RychtyckyjR00 share record
short URL:
https://dblp.org/rec/conf/kr/WurbelJP00
Representation Formalisms
share record
short URL:
https://dblp.org/rec/conf/kr/McCarthy00 share record
short URL:
https://dblp.org/rec/conf/kr/ShapiroPLL00 share record
short URL:
https://dblp.org/rec/conf/kr/CiocoiuN00 share record
short URL:
https://dblp.org/rec/conf/kr/MontanariPS00
share record
short URL:
https://dblp.org/rec/conf/kr/Vidal00 Thierry Vidal :
Controllability characterization and checking in Contingent Temporal Constraint Networks. KR 2000 :
559-570 share record
short URL:
https://dblp.org/rec/conf/kr/Condotta00 share record
short URL:
https://dblp.org/rec/conf/kr/MorrisM00
share record
short URL:
https://dblp.org/rec/conf/kr/ClarkTP00 share record
short URL:
https://dblp.org/rec/conf/kr/SchulzH00 share record
short URL:
https://dblp.org/rec/conf/kr/Jamil00
Non Monotonic Reasoning 2
share record
short URL:
https://dblp.org/rec/conf/kr/LangM00 share record
short URL:
https://dblp.org/rec/conf/kr/Pino-PerezU00 share record
short URL:
https://dblp.org/rec/conf/kr/ZhuLCZ00
Planning (Joint program with AIPS 2000)
share record
short URL:
https://dblp.org/rec/conf/kr/Giunchiglia00 Enrico Giunchiglia :
Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR 2000 :
657-666 share record
short URL:
https://dblp.org/rec/conf/kr/MartinG00 share record
short URL:
https://dblp.org/rec/conf/kr/IocchiNR00 share record
short URL:
https://dblp.org/rec/conf/kr/GinsbergP00 share record
short URL:
https://dblp.org/rec/conf/kr/Thomason00
share record
short URL:
https://dblp.org/rec/conf/kr/PeaseCLF00 share record
short URL:
https://dblp.org/rec/conf/kr/MorgensternT00
Acknowledgement:
The information on this page was contributed by
Andrei Voronkov maintained by
, founded at