default search action

combined dblp search
author search
venue search
publication search

ask others

33rd CILC 2018: Bolzano, Italy

> Home > Conferences and Workshops > CILC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/cilc/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/2018
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/Sala18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Sala18
Pietro Sala:
An Algorithm for Verifying Approximate Pure Evolving Functional Dependencies. 2-16
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/0001P18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/0001P18
Laura Giordano, Alberto Policriti:
Power (Set) ALC (Extended Abstract). 17-21
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/KomauliM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/KomauliM18
Francesco Komauli, Alberto Momigliano:
Property-Based Testing of the Meta-Theory of Abstract Machines: an Experience Report. 22-39
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/CostantiniG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CostantiniG18
Stefania Costantini, Giovanni De Gasperis:
Dynamic Goal Decomposition and Planning in MAS for Highly Changing Environments. 40-54
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/LietoPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/LietoPV18
Antonio Lieto, Gian Luca Pozzato, Alberto Valese:
COCOS: a typicality based COncept COmbination System. 55-59
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/Pozzato18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Pozzato18
Gian Luca Pozzato:
On Probabilities of Exceptions in Description Logics of Typicality. 60-74
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/FerrariFF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/FerrariFF18
Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
Forward Countermodel Construction in Modal Logic K. 75-81
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/CostantiniDP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CostantiniDP18
Stefania Costantini, Abeer Dyoub, Valentina Pitoni:
Towards Humanized Ethical Intelligent Agents: the role of Reflection and Introspection. 82-96
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/Delzanno18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/Delzanno18
Giorgio Delzanno:
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. 97-111
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/PandolfoPZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PandolfoPZ18
Laura Pandolfo, Luca Pulina, Marek Zielinski:
ARKIVO: an Ontology for Describing Archival Resources. 112-116
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/ChesaniCLMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/ChesaniCLMR18
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/PaluDF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/PaluDF18
Alessandro Dal Palù, Agostino Dovier, Andrea Formisano:
2D object reconstruction with ASP. 132-146
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/CantoneO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CantoneO18
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.