Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.4897
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

Automatic Balance Mechanisms in Pay-As-You-Go Pension Systems

Geneva Papers on Risk and Insurance: Issues and Practice
ManagementFinanceBusinessEconomicsAccountingEconometrics
2009English

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

As You Go

Test-Journal
2019English

Handling Probabilistic Integrity Constraints in Pay-As-You-Go Reconciliation of Data Models

Information Systems
HardwareInformation SystemsArchitectureSoftware
2019English

REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI

2010English

Representing and Reasoning on XML Documents: A Description Logic Approach

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

An Efficient Tableau Prover Using Global Caching for the Description Logic ALC

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Aging, Myopia, and the Pay-As-You-Go Public Pension Systems of the G7: A Bright Future?

Journal of Public Economic Theory
SociologyEconomicsEconometricsPolitical ScienceFinance
2005English

A First Approach to a Pay-As-You-Go Model for a Social Benefit in Spain

Cuadernos de Gestion
Industrial RelationsManagementBusinessOrganizational BehaviorHuman Resource ManagementInternational ManagementStrategy
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy