default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCILC 2011: Pescara, Italy
- Fabio Fioravanti:
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. CEUR Workshop Proceedings 810, CEUR-WS.org 2011
Long presentations
- Giovanna D'Agostino, Giacomo Lenzi:
On modal mu-calculus in S5 and applications. 9-24 - Fabrizio Riguzzi:
MCINTYRE: A Monte Carlo Algorithm for Probabilistic Logic Programming. 25-39 - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. 41-55 - Francesca A. Lisi, Umberto Straccia:
An Inductive Logic Programming Approach to Learning Inclusion Axioms in Fuzzy Description Logics. 57-71 - Domenico Cantone, Marianna Nicolosi Asmundo:
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. 73-97 - Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. 99-113 - Onofrio Febbraro, Kristian Reale, Francesco Ricca:
Testing ASP programs in ASPIDE. 115-129 - Mario Alviano, Wolfgang Faber, Stefan Woltran:
Complexity of Super-Coherence Problems in Answer Set Programming. 131-145 - Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré:
Verifying Compliance of Business Processes with Temporal Answer Sets. 147-161 - Marco Alberti, Marco Gavanelli, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. 163-177 - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni:
Controlling Polyvariance for Specialization-based Verification. 179-197 - Stefano Bistarelli, Paola Campli, Francesco Santini:
Finding Partitions of Arguments with Dung's Properties via SCSPs. 199-213 - Neng-Fa Zhou, Agostino Dovier:
A Tabled Prolog Program for Solving Sokoban. 215-228 - Elena Bellodi, Fabrizio Riguzzi:
EM over Binary Decision Diagrams for Probabilistic Logic Programs. 229-243 - Emanuele De Angelis, Alberto Pettorossi, Maurizio Proietti:
Synthesizing Concurrent Programs using Answer Set Programming. 245-259 - Dario Campagna, Andrea Formisano:
ProdProc - Product and Production Process Modeling and Configuration. 261-279 - Alessio Stalla, Davide Zanucco, Agostino Dovier, Viviana Mascardi:
PrettyCLP: a Light Java Implementation for Teaching CLP. 281-295 - Stefania Costantini, Niva Florio, Alessio Paolucci:
A framework for structured knowledge extraction and representation from natural language via deep sentence analysis. 297-310 - Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca:
Logic-based reasoning support for SBVR. 311-325
Short presentations
- Ilaria De Crescenzo, Salvatore La Torre:
Winning CaRet Games with Modular Strategies. 327-331 - Raffaella Gentilini:
A Note on the Approximation of Mean-Payoff Games. 333-340 - Dario Della Monica, Margherita Napoli, Mimmo Parente:
Coalitional Games with Priced-Resource Agents. 341-347 - Claudia Casadio, Mehrnoosh Sadrzadeh:
Cyclic pregroups and natural language: a computational algebraic analysis. 349-363 - Tania Di Mascio, Rosella Gennari, Pierpaolo Vittorini:
TERENCE: An Adaptive Learning System for Reasoning about Stories with Poor Comprehenders and their Educators. 365-369 - Stefania Costantini, Andrea Formisano:
Nested Weight Constraints in ASP. 371-383 - Francesco Mele, Antonio Sorgente:
The temporal representation and reasoning of complex events. 385-399 - Massimo Morara, Jacopo Mauro, Maurizio Gabbrielli:
Solving XCSP problems by using Gecode. 401-405 - Annamaria Basile, Maria Rosa Felice, Alessandro Provetti:
Formalization and Automated reasoning about a Complex Signalling Network. 407-414
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 2026-01-29 02:20 CET 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:
