Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Massimiliano Cattafi
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
Related publications
Abduction and Abductive Logic Programming
Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanizing Programming Logics in Higher Order Logic
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Architecture Conformance Checking With Description Logics
Abductive Reasoning in Normal Residuated Logic Programming via Bipolar Max-Product Fuzzy Relation Equations
Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms
Expressive Description Logics
Disagreement and Learning in a Dynamic Contracting Model
Review of Financial Studies
Accounting
Economics
Econometrics
Finance
