Остановите войну!
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 89 matches
- 2024
- Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler:
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. Theory Pract. Log. Program. 24(1): 132-156 (2024) - 2023
- Mario Alviano, Wolfgang Faber, Martin Gebser:
Aggregate Semantics for Propositional Answer Set Programs. Theory Pract. Log. Program. 23(1): 157-194 (2023) - Damiano Azzolini, Fabrizio Riguzzi:
Inference in Probabilistic Answer Set Programming Under the Credal Semantics. AI*IA 2023: 367-380 - Damiano Azzolini:
A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs. ICLP Workshops 2023 - Abhiramon Rajasekharan, Yankai Zeng, Gopal Gupta:
Argument analysis using Answer Set Programming and Semantics-guided Large Language Models. ICLP Workshops 2023 - Daniel Bresnahan, Nicholas Hippen, Yuliya Lierler:
System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics. CoRR abs/2303.17018 (2023) - 2022
- Linde Vanbesien, Maurice Bruynooghe, Marc Denecker:
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. Theory Pract. Log. Program. 22(4): 523-537 (2022) - David Tuckey, Krysia Broda, Alessandra Russo:
A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge. ICLP Workshops 2022 - 2021
- Nicholas Hippen, Yuliya Lierler:
Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics. JELIA 2021: 346-361 - Linde Vanbesien, Maurice Bruynooghe, Marc Denecker:
Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory. CoRR abs/2104.14789 (2021) - Mario Alviano, Wolfgang Faber, Martin Gebser:
Aggregate Semantics for Propositional Answer Set Programs. CoRR abs/2109.08662 (2021) - 2020
- Fábio Gagliardi Cozman, Denis Deratani Mauá:
The joy of Probabilistic Answer Set Programming: Semantics, complexity, expressivity, inference. Int. J. Approx. Reason. 125: 218-239 (2020) - Loris Bozzato, Camillo Fiorentini:
Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract). Description Logics 2020 - 2019
- Giovanni Amendola, Francesco Ricca:
Paracoherent Answer Set Semantics meets Argumentation Frameworks. Theory Pract. Log. Program. 19(5-6): 688-704 (2019) - Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens:
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR abs/1901.09125 (2019) - Giovanni Amendola, Francesco Ricca:
Paracoherent Answer Set Semantics meets Argumentation Frameworks. CoRR abs/1907.09426 (2019) - Emmanuelle-Anna Dietz Saldanha, Jorge Fandinno:
On the Relation between Weak Completion Semantics and Answer Set Semantics. CoRR abs/1910.07278 (2019) - 2017
- Marjan Alirezaie, Andrey Kiselev, Franziska Klügl, Martin Längkvist, Amy Loutfi:
Exploiting Context and Semantics for UAV Path-finding in an Urban Setting. AnSWeR@ESWC 2017: 11-20 - 2016
- Stefania Costantini, Andrea Formisano:
Query answering in resource-based answer set semantics. Theory Pract. Log. Program. 16(5-6): 619-635 (2016) - Chen Chen, Zuoquan Lin:
Restricted Four-Valued Semantics for Answer Set Programming. PRICAI 2016: 68-79 - Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CoRR abs/1608.01604 (2016) - 2015
- Stefania Costantini, Andrea Formisano:
Negation as a Resource: a Novel View on Answer Set Semantics. Fundam. Informaticae 140(3-4): 279-305 (2015) - Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Characterizing and extending answer set semantics using possibility theory. Theory Pract. Log. Program. 15(1): 79-116 (2015) - 2014
- Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng:
FLP answer set semantics without circular justifications for general logic programs. Artif. Intell. 213: 1-41 (2014) - Kim Bauters, Steven Schockaert, Martine De Cock, Dirk Vermeir:
Semantics for possibilistic answer set programs: Uncertain rules versus rules with uncertain conclusions. Int. J. Approx. Reason. 55(2): 739-761 (2014) - Marjon Blondeel, Steven Schockaert, Dirk Vermeir, Martine De Cock:
Complexity of fuzzy answer set programming under Łukasiewicz semantics. Int. J. Approx. Reason. 55(9): 1971-2003 (2014) - Stefania Costantini, Andrea Formisano:
Query Answering in Resource-Based Answer Set Semantics. CILC 2014: 69-83 - Tingting Zou, Yanpeng Qu, Ansheng Deng:
Tightly coupled fuzzy rough description logic programs under the answer set semantics for the semantic web. FUZZ-IEEE 2014: 1480-1487 - Julien Hué, Matthias Westphal, Stefan Wölfl:
Towards a New Semantics for Possibilistic Answer Sets. KI 2014: 159-170 - Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri:
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. CoRR abs/1401.4596 (2014)
skipping 59 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-26 05:25 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