Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andreas Steigmiller
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures
Journal of Artificial Intelligence Research
Artificial Intelligence
The OWL Reasoner Evaluation (ORE) 2015 Resources
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Balance Mechanisms in Pay-As-You-Go Pension Systems
Geneva Papers on Risk and Insurance: Issues and Practice
Management
Finance
Business
Economics
Accounting
Econometrics
Description Logic Reasoning With Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
As You Go
Test-Journal
Handling Probabilistic Integrity Constraints in Pay-As-You-Go Reconciliation of Data Models
Information Systems
Hardware
Information Systems
Architecture
Software
REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI
Representing and Reasoning on XML Documents: A Description Logic Approach
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
An Efficient Tableau Prover Using Global Caching for the Description Logic ALC
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Aging, Myopia, and the Pay-As-You-Go Public Pension Systems of the G7: A Bright Future?
Journal of Public Economic Theory
Sociology
Economics
Econometrics
Political Science
Finance
A First Approach to a Pay-As-You-Go Model for a Social Benefit in Spain
Cuadernos de Gestion
Industrial Relations
Management
Business
Organizational Behavior
Human Resource Management
International Management
Strategy
