Остановите войну!
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 41 matches
- 2019
- Laura Giordano, Valentina Gliozzi:
Strengthening the Rational Closure for Description Logics: An Overview. CILC 2019: 68-81 - Laura Giordano, Alberto Policriti:
Extending ALC with the power-set construct. CILC 2019 - Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari:
An ASP-based Approach for Optimizing DLV Evaluation. CILC 2019 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification. CILC 2019 - Matteo Baldoni, Cristina Baroglio, Roberto Micalizio:
Accountability, Responsibility and Robustness in Agent Organizations. CILC 2019 - Federico Bergenti, Stefania Monica:
Simple and Effective Sign Consistency Using Interval Arithmetic. CILC 2019: 89-103 - Stefano Bistarelli, Francesco Faloci, Francesco Santini, Carlo Taticchi:
A Tool For Ranking Arguments Through Voting-Games Power Indexes. CILC 2019: 193-201 - Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, Enrico Pontelli:
Towards Distributed Computation of Answer Sets. CILC 2019: 316-326 - Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino:
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania. CILC 2019: 59-67 - Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - Domenico Cantone, Alberto Casagrande, Francesco Fabris, Eugenio G. Omodeo:
Does Every Recursively Enumerable Set Admit a Finite-Fold Diophantine Representation? CILC 2019: 104-122 - Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo:
Polynomial-Time Satisfiability Tests for Boolean Fragments of Set Theory. CILC 2019: 123-137 - Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris:
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. CILC 2019: 179-192 - Luca Ciccone, Angelo Ferrando, Davide Ancona, Viviana Mascardi:
Timed Trace Expressions. CILC 2019: 229-241 - Francesco Di Cosmo:
FO Queries Strongly Distributing over Components in Arbitrary Cardinality. CILC 2019: 260-268 - Stefania Costantini, Andrea Formisano:
Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features. CILC 2019: 14-29 - Stefania Costantini, Francesca Alessandra Lisi, Raffaele Olivieri:
DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics. CILC 2019: 138-146 - Stefania Costantini, Valentina Pitoni:
Reasoning about Memory Management in Resource-Bounded Agents. CILC 2019: 217-228 - Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Evelina Lamma:
KRaider: a Crawler for Linked Data. CILC 2019: 202-216 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Empowering ASPQ to Win in QBFEval 2018. CILC 2019: 167-178 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC 2019: 279-288 - Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC 2019: 289-299 - Agostino Dovier:
The SATisfiability problem and its impact. CILC 2019: 1 - Abeer Dyoub, Stefania Costantini, Francesca Alessandra Lisi:
Learning Answer Set Programming Rules For Ethical Machines. CILC 2019: 300-315 - Francesco Fabiano, Idriss Riouak, Agostino Dovier, Enrico Pontelli:
Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. CILC 2019: 242-259 - Marco Gavanelli, Marco Alberti, Evelina Lamma:
Accountable Protocols in Abductive Logic Programming. CILC 2019 - Giovambattista Ianni, Francesco Pacenza, Jessica Zangari:
An Infrastructure for Multi-shot Reasoning with Incremental Grounding. CILC 2019: 269-278 - Abdullah Khan, Luciano Serafini, Loris Bozzato, Beatrice Lazzerini:
Event Detection from Video Using Answer Set Programing. CILC 2019: 48-58 - Lorenzo De Lauretis, Stefania Costantini:
An Ontology to Improve the First Aid Service Quality. CILC 2019 - Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Large Scale DLV: Preliminary Results. CILC 2019
skipping 11 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-20 01:04 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