Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kr/kr2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/kr/Amir02,
author = {Eyal Amir},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Projection in Decomposed Situation Calculus},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {315--326},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/Amir02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralST02,
author = {Chitta Baral and
Tran Cao Son and
Le{-}Chi Tuan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Transition Function Based Characterization of Actions with Delayed
and Continuous Effects},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {291--302},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralZ02,
author = {Chitta Baral and
Yan Zhang},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {The Complexity of Model Checking for Knowledge Update},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {82--96},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BatsellBOTV02,
author = {Randy Batsell and
Lyle Brenner and
Daniel N. Osherson and
Spyros Tsavachidis and
Moshe Y. Vardi},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Eliminating Incoherence from Subjective Estimates of Chance},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {353--364},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BatsellBOTV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bennett02,
author = {Brandon Bennett},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Physical Objects, Identity and Vagueness},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {395--408},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bennett02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BerN02,
author = {Florence Le Ber and
Amedeo Napoli},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Design and Comparison of Lattices of Topological Relations Based on
Galois Lattice Theory},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {37--48},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BerN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BernferhatDKP02,
author = {Salem Benferhat and
Didier Dubois and
Souhila Kaci and
Henri Prade},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Bipolar Representation and Fusion of Preferences on the Possibilistic
Logic framework},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {421--448},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 25 Nov 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BernferhatDKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BeygelzimerR02,
author = {Alina Beygelzimer and
Irina Rish},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Inference Complexity as a Model-Selection Criterion for Learning Bayesian
Networks},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {558--567},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BeygelzimerR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Bittner02,
author = {Thomas Bittner},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Judgements about spatio-temporal relations},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {521--532},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Bittner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Booth02,
author = {Richard Booth},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Social Contraction and Belief Negotiation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {375--386},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 17 Nov 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Booth02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrandtKT02,
author = {Sebastian Brandt and
Ralf K{\"{u}}sters and
Anni{-}Yasmin Turhan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Approximation and Difference in Description Logics},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {203--214},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 28 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BrandtKT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BrewkaBB02,
author = {Gerhard Brewka and
Salem Benferhat and
Daniel Le Berre},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Qualitative Choice Logic},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {158--169},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BrewkaBB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Broxvall02,
author = {Mathias Broxvall},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Constraint Satisfaction on Infinite Domains: Composing Domains and
Decomposing Constraints},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {509--520},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Broxvall02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalmesDHPS02,
author = {Martine de Calm{\`{e}}s and
Didier Dubois and
Eyke H{\"{u}}llermeier and
Henri Prade and
Florence S{\`{e}}des},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Fuzzy Approach to Flexible Case-based Querying: Methodology and
Experimentation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {449--458},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 23 Oct 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalmesDHPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CalvaneseGV02,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Moshe Y. Vardi},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Reasoning about Actions and Planning in {LTL} Action Theories},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {593--602},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/CalvaneseGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Cate02,
author = {Balder ten Cate},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Logic of d-separation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {568--577},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Cate02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Coste-MarquisM02,
author = {Sylvie Coste{-}Marquis and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Complexity Results for Paraconsistent Inference Relations},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {61--72},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Coste-MarquisM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Cristani02,
author = {Matteo Cristani},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Many-Sorted Preference Relations},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {265--276},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Cristani02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Darwiche02,
author = {Adnan Darwiche},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Logical Approach to Factoring Belief Networks},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {409--420},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Darwiche02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DeneckerMT02,
author = {Marc Denecker and
V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Ultimate Approximations in Nonmonotonic Knowledge Representation Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {177--190},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DeneckerMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DomshlakB02,
author = {Carmel Domshlak and
Ronen I. Brafman},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {CP-nets: Reasoning and Consistency Testing},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {121--132},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DomshlakB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DonaS02,
author = {Antonia Don{\`{a}} and
Luciano Serafini},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Updating Contexts},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {251--264},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DonaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DoniniLMS02,
author = {Francesco M. Donini and
Paolo Liberatore and
Fabio Massacci and
Marco Schaerf},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Solving {QBF} by {SMV}},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {578--592},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DoniniLMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DuboisFP02,
author = {Didier Dubois and
H{\'{e}}l{\`{e}}ne Fargier and
Patrice Perny},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Limitations of Ordinal Approaches to Decision-making},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {133--146},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DuboisFP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFST02,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Generic Approach for Knowledge-Based Information-Site Selection},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {459--469},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterL02,
author = {Thomas Eiter and
Thomas Lukasiewicz},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Complexity Results for Explanations in the Structural-Model Approach},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {49--60},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/EiterL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Fruhwirth02,
author = {Thom W. Fr{\"{u}}hwirth},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {As Time Goes by: Automatic Complexity Analysis of Simplified Rules},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {547--557},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Fruhwirth02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Gardenfors02,
author = {Peter G{\"{a}}rdenfors},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {The Role of Higher Order Similarity in Induction and Concept Formation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {629--629},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Gardenfors02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GiacomoLLS02,
author = {Giuseppe De Giacomo and
Yves Lesp{\'{e}}rance and
Hector J. Levesque and
Sebastian Sardi{\~{n}}a},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Semantics of Deliberation in IndiGolog: From Theory to Implementation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {603--614},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GiacomoLLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HazarikaC02,
author = {Shyamanta M. Hazarika and
Anthony G. Cohn},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Abducing Qualitative Spatio-Temporal Histories from Partial Observations},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {14--25},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HazarikaC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Hendler02,
author = {James A. Hendler},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {The Semantic Web: KR's Worst Nightmare?},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {630--630},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Mon, 13 Oct 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Hendler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HustadtS02,
author = {Ullrich Hustadt and
Renate A. Schmidt},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Scientific Benchmarking with Temporal Logic Decision Procedures},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {533--546},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/HustadtS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Kern-Isberner02,
author = {Gabriele Kern{-}Isberner},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Structural Approach to Default Reasoning},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {147--157},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Kern-Isberner02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoniecznyLM02,
author = {S{\'{e}}bastien Konieczny and
J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Distance Based Merging: {A} General Framework and some Complexity
Results},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {97--108},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KoniecznyLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KoniecznyP02,
author = {S{\'{e}}bastien Konieczny and
Ram{\'{o}}n Pino P{\'{e}}rez},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {On the Frontier between Arbitration and Majority},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {109--120},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KoniecznyP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KutzWZ02,
author = {Oliver Kutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Connecting Abstract Description Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {215--226},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/KutzWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lakemeyer02,
author = {Gerhard Lakemeyer},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Evaluation-Based Reasoning with Disjunctive Information in First-Order
Knowledge Bases},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {73--81},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lakemeyer02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lang02,
author = {J{\'{e}}r{\^{o}}me Lang},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {From Preference Representation to Combinatorial Vote},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {277--290},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Mon, 28 Feb 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Lang02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LangM02,
author = {J{\'{e}}r{\^{o}}me Lang and
Pierre Marquis},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Resolving Inconsistencies by Variable Forgetting},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {239--250},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LangM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin02,
author = {Fangzhen Lin},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Reducing Strong Equivalence of Logic Programs to Entailment in Classical
Propositional Logic},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {170--176},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lutz02,
author = {Carsten Lutz},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Adding Numbers to the {SHIQ} Description Logic: First Results},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {191--202},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Lutz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MateusPP02,
author = {Paulo Mateus and
Ant{\'{o}}nio Pacheco and
Javier Pinto},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Observations and the Probabilistic Situation Calculus},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {327--340},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 20 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MateusPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McCarthy02,
author = {John McCarthy},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Actions and Other Events in Situation Calculus},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {615--628},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Fri, 14 Aug 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McCarthy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraithS02,
author = {Sheila A. McIlraith and
Tran Cao Son},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Adapting Golog for Composition of Semantic Web Services},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {482--496},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraithS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Nebel02,
author = {Bernhard Nebel},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {The Philosophical Soccer Player},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {631--631},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Nebel02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PetrickL02,
author = {Ronald P. A. Petrick and
Hector J. Levesque},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Knowledge Equivalence in Combined Action Theories},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {303--314},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/PetrickL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/PintoM02,
author = {Helena Sofia Andrade N. P. Pinto and
Jo{\~{a}}o Pav{\~{a}}o Martins},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Evolving Ontologies in Distributed and Dynamic Settings},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {365--374},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/PintoM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Provan02,
author = {Gregory M. Provan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Model-Based Diagnosis Framework for Distributed Embedded Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {341--352},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Provan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/RandellW02,
author = {David A. Randell and
Mark Witkowski},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Building Large Composition Tables via Axiomatic Theories},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {26--36},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/RandellW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Saint-CyrL02,
author = {Florence Dupin de Saint{-}Cyr and
J{\'{e}}r{\^{o}}me Lang},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Belief Extrapolation (or how to Reason About Observations and Unpredicted
Change)},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {497--508},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Saint-CyrL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Schulz02,
author = {Stefan Schulz},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Necessary Parts and Wholes in Bio-Ontologies},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {387--394},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Thu, 29 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Schulz02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Shanahan02,
author = {Murray Shanahan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Logical Account of Perception Incorporating Feedback and Expectation},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {3--13},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Shanahan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TessarisHG02,
author = {Sergio Tessaris and
Ian Horrocks and
Graham Gough},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Evaluating a Modular Abox Algorithm},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {227--238},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/TessarisHG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Welty02,
author = {Christopher A. Welty},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Panel: Are Upper-Level Ontologies Worth the Effort?},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {632--632},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/Welty02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WinikoffPHT02,
author = {Michael Winikoff and
Lin Padgham and
James Harland and
John Thangarajah},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Declarative {\&} Procedural Goals in Intelligent Agent Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {470--481},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/WinikoffPHT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2002,
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
publisher = {Morgan Kaufmann},
year = {2002},
isbn = {1-55860-554-1},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-29 21:12 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
