default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd CILC 2018: Bolzano, Italy
- Paolo Felli, Marco Montali:
Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. CEUR Workshop Proceedings 2214, CEUR-WS.org 2018
Papers
- Pietro Sala:
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. 2-16 - Laura Giordano, Alberto Policriti:
Power (Set) ALC (Extended Abstract). 17-21 - Francesco Komauli, Alberto Momigliano:
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. 22-39 - Stefania Costantini, Giovanni De Gasperis:
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments. 40-54 - Antonio Lieto, Gian Luca Pozzato, Alberto Valese:
COCOS: a typicality based COncept COmbination System. 55-59 - Gian Luca Pozzato:
On Probabilities of Exceptions in Description Logics of Typicality. 60-74 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Forward Countermodel Construction in Modal Logic K. 75-81 - Stefania Costantini, Abeer Dyoub, Valentina Pitoni:
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection. 82-96 - Giorgio Delzanno:
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. 97-111 - Laura Pandolfo, Luca Pulina, Marek Zielinski:
ARKIVO: an Ontology for Describing Archival Resources. 112-116 - Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi:
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning. 117-131 - Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. 132-146 - Domenico Cantone, Eugenio G. Omodeo:
Can a Single Equation Witness that every r.e. Set Admits a Finite-fold Diophantine Representation? 147-152
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.
last updated on 2024-10-18 19:36 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:
