Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

doi 10.1109/icws.2009.78
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Abduction and Abductive Logic Programming

1994English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Mechanizing Programming Logics in Higher Order Logic

1989English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Architecture Conformance Checking With Description Logics

2017English

Abductive Reasoning in Normal Residuated Logic Programming via Bipolar Max-Product Fuzzy Relation Equations

2019English

Race Logic: A Hardware Acceleration for Dynamic Programming Algorithms

2014English

Expressive Description Logics

English

Disagreement and Learning in a Dynamic Contracting Model

Review of Financial Studies
AccountingEconomicsEconometricsFinance
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy