Stop the war!

Остановите войну!

• solidarity - (ua) - (ru)
• news - (ua) - (ru)
• donate - donate - donate

for scientists:

• ERA4Ukraine
• Assistance in Germany
• Ukrainian Global University
• #ScienceForUkraine

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

• 
  Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
  Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7 [contents]
• 
  Oana Cocarascu, Sylvie Doutre, Jean-Guy Mailly, Antonio Rago:
  Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 2-8, 2023. CEUR Workshop Proceedings 3472, CEUR-WS.org 2023 [contents]
• 
  Salem Benferhat, Giovanni Casini, Thomas Meyer, Andrea Tettamanzi:
  Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, merging, handling inconsistencies and query-answering, co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Rhodes, Greece, September 3-4, 2023. CEUR Workshop Proceedings 3495, CEUR-WS.org 2023 [contents]

• 
  Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
  Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0 [contents]

• 
  Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem:
  Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. 2021, ISBN 978-1-956792-99-7 [contents]
• 
  Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao:
  Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. CEUR Workshop Proceedings 3009, CEUR-WS.org 2021 [contents]

• 
  Diego Calvanese, Esra Erdem, Michael Thielscher:
  Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, ISBN 978-0-9992411-7-2 [contents]

• 
  Michael Thielscher, Francesca Toni, Frank Wolter:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press 2018, ISBN 978-1-57735-803-9 [contents]
• 
  Kristijonas Cyras, Tiago Oliveira, Matthew Williams, Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann:
  Proceedings of the Joint Proceedings of Reasoning with Ambiguous and Conflicting Evidence and Recommendations in Medicine (MedRACER 2018) and the 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018) co-located with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, USA, October 29th, 2018. CEUR Workshop Proceedings 2237, CEUR-WS.org 2018 [contents]
• 
  Gerald Steinbauer, Alexander Ferrein:
  Proceedings of the 11th Cognitive Robotics Workshop 2018, co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning, CogRob@KR 2018, Tempe, AZ, USA, October 27th, 2018. CEUR Workshop Proceedings 2325, CEUR-WS.org 2019 [contents]

• 
  Chitta Baral, James P. Delgrande, Frank Wolter:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. AAAI Press 2016, ISBN 978-1-57735-755-1 [contents]

• 
  Chitta Baral, Giuseppe De Giacomo, Thomas Eiter:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press 2014, ISBN 978-1-57735-657-8 [contents]

• 
  Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 [contents]
• 
  Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña, Andrea Marrella:
  Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012. CEUR Workshop Proceedings 861, CEUR-WS.org 2012 [contents]

• 
  Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press 2010 [contents]

KR 2008 Home Page

• 
  Gerhard Brewka, Jérôme Lang:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. AAAI Press 2008, ISBN 978-1-57735-384-3 [contents]

KR 2006 Home Page

• 
  Patrick Doherty, John Mylopoulos, Christopher A. Welty:
  Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. AAAI Press 2006, ISBN 978-1-57735-271-6 [contents]

• 
  Didier Dubois, Christopher A. Welty, Mary-Anne Williams:
  Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004. AAAI Press 2004, ISBN 1-57735-199-1 [contents]
• 
  Udo Hahn:
  KR-MED 2004, First International Workshop on Formal Biomedical Knowledge Representation, Proceedings of the KR 2004 Workshop on Formal Biomedical Knowledge Representation, Whistler, BC, Canada, 1 June 2004. CEUR Workshop Proceedings 102, CEUR-WS.org 2004 [contents]

• 
  Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams:
  Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. Morgan Kaufmann 2002, ISBN 1-55860-554-1 [contents]

• 
  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 [contents]

• 
  Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro:
  Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998. Morgan Kaufmann 1998 [contents]
• 
  Frank van Harmelen:
  1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998. CEUR Workshop Proceedings 16, CEUR-WS.org 1998 [contents]

• 
  Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro:
  Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Morgan Kaufmann 1996, ISBN 1-55860-421-9 [contents]

• 
  Jon Doyle, Erik Sandewall, Pietro Torasso:
  Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994. Morgan Kaufmann 1994, ISBN 1-55860-328-X [contents]

• 
  Bernhard Nebel, Charles Rich, William R. Swartout:
  Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, October 25-29, 1992. Morgan Kaufmann 1992, ISBN 1-55860-262-3 [contents]

• 
  James F. Allen, Richard Fikes, Erik Sandewall:
  Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann 1991, ISBN 1-55860-165-1 [contents]

• 
  Ronald J. Brachman, Hector J. Levesque, Raymond Reiter:
  Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. Morgan Kaufmann 1989, ISBN 1-55860-032-9 [contents]

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-04-18 20:19 CEST 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: