Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Gavanelli
The CHR-based Implementation of the SCIFF Abductive System
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preface
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems With Combinatorial Explosion
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Preface
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Simulation of Incentive Mechanisms for Renewable Energy Policies
Web Service Contracting: Specification and Reasoning With SCIFF
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Abductive Framework for Information Exchange in Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
