Остановите войну!
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 33 matches
- 2007
- Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli:
The LP-OD System: Logic Programming Meets Outlier Detection. LPNMR 2007: 254-259 - Marcello Balduccini:
cr-models: An Inference Engine for CR-Prolog. LPNMR 2007: 18-30 - Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran:
Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43 - Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 - Philippe Chapdelaine, Miki Hermann, Ilka Schnoor:
Complexity of Default Logic on Generalized Conjunctive Queries. LPNMR 2007: 58-70 - James P. Delgrande, Torsten Schaub, Hans Tompits:
A Preference-Based Framework for Updating Logic Programs. LPNMR 2007: 71-83 - Marc Denecker, Joost Vennekens:
Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. LPNMR 2007: 84-96 - Wolfgang Faber, Nicola Leone:
On the Complexity of Answer Set Programming with Aggregates. LPNMR 2007: 97-109 - Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 - Edgardo Ferretti, Marcelo Errecalde, Alejandro Javier García, Guillermo Ricardo Simari:
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. LPNMR 2007: 297-302 - Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran:
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. LPNMR 2007: 123-135 - Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
Conflict-Driven Answer Set Enumeration. LPNMR 2007: 136-148 - Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub:
clasp : A Conflict-Driven Answer Set Solver. LPNMR 2007: 260-265 - Martin Gebser, Joohyung Lee, Yuliya Lierler:
Head-Elementary-Set-Free Logic Programs. LPNMR 2007: 149-161 - Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski:
The First Answer Set Programming System Competition. LPNMR 2007: 3-17 - Martin Gebser, Torsten Schaub, Sven Thiele:
GrinGo : A New Grounder for Answer Set Programming. LPNMR 2007: 266-271 - Ping Hou, Johan Wittocx, Marc Denecker:
A Deductive System for PC(ID). LPNMR 2007: 162-174 - Aaron Hunter, James P. Delgrande, Joel Faber:
Using Answer Sets to Solve Belief Change Problems. LPNMR 2007: 272-277 - Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models. LPNMR 2007: 175-187 - Nicola Leone:
Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. LPNMR 2007: 1 - Vladimir Lifschitz, David Pearce, Agustín Valverde:
A Characterization of Strong Equivalence for Logic Programs with Variables. LPNMR 2007: 188-200 - Guohua Liu, Jia-Huai You:
On the Effectiveness of Looking Ahead in Search for Answer Sets. LPNMR 2007: 303-308 - Jorge Lobo:
Policy-Based Computing: From Systems and Applications to Theory. LPNMR 2007: 2 - Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni:
Programming Applications in CIFF. LPNMR 2007: 284-289 - Marc Meister, Khalil Djelloul, Jacques Robin:
A Unified Semantics for Constraint Handling Rules in Transaction Logic. LPNMR 2007: 201-213 - Gayathri Namasivayam, Miroslaw Truszczynski:
An Smodels System with Limited Lookahead Computation. LPNMR 2007: 278-283 - Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir:
Conditional Planning with External Functions. LPNMR 2007: 214-227 - Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés:
Semantics for Possibilistic Disjunctive Programs. LPNMR 2007: 315-320 - Emilia Oikarinen:
Modularity in smodelsPrograms. LPNMR 2007: 321-326 - Phan Huy Tu, Tran Cao Son, Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296
skipping 3 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-04-23 14:01 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