Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 59 matches
- 1998
- José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
Dynamic Logic Programming. KR 1998: 98-111 - Eyal Amir:
Pointwise Circumscription Revisited. KR 1998: 202-211 - Fahiem Bacchus, Ronald P. A. Petrick:
Modeling an Agent's Incomplete Knowledge During Planning and During Execution. KR 1998: 432-443 - Marco Baioletti, Stefano Marcugini, Alfredo Milani:
Encoding Planning Constraints into Partial Order Planners. KR 1998: 608-616 - Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130 - Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets:
A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. KR 1998: 466-477 - Brandon Bennett:
Modal Semantics for Knowledge Bases Dealing with Vague Concepts. KR 1998: 234-244 - Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski:
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. KR 1998: 74-85 - Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97 - Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998: 418-431 - Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati:
Description Logic Framework for Information Integration. KR 1998: 2-13 - Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379 - Michel Chein, Marie-Laure Mugnier, Geneviève Simonet:
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR 1998: 524-535 - Tom Costello, Anna Patterson:
Quantifiers and Operations on Modalities and Contexts. KR 1998: 270-281 - Adnan Darwiche:
Compiling Devices: A Structure-Based Approach. KR 1998: 156-155 - Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update. KR 1998: 258-269 - Christoph Dornheim:
Undecidability of Plane Polygonal Mereotopology. KR 1998: 342-355 - Didier Dubois, Lluís Godo, Henri Prade, Adriana Zapico:
Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. KR 1998: 594-607 - Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417 - Peter A. Flach:
Comparing Consequence Relations. KR 1998: 180-189 - Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465 - Fausto Giunchiglia, Chiara Ghidini:
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. KR 1998: 282-291 - Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635 - Vu A. Ha, Peter Haddawy:
Geometric Foundations for Interval-Based Probabilities. KR 1998: 582-593 - Volker Haarslev, Carsten Lutz, Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123 - Ian Horrocks:
Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649 - Katsumi Inoue, Chiaki Sakama:
Specifying Transactions for Extended Abduction. KR 1998: 394-405 - Manfred Jaeger:
Reasoning About Infinite Random Structures with Relational Bayesian Networks. KR 1998: 570-581 - Jaap Kamps:
Formal Theory Building Using Automated Reasoning Tools. KR 1998: 478-487 - Lars Karlsson:
Anything Can Happen: On Narratives and Hypothetical Reasoning. KR 1998: 36-47
skipping 29 more matches
loading more results
failed to load more results, please try again later
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).
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).
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 .
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.
retrieved on 2024-05-10 13:21 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