Automata-Based Axiom Pinpointing

Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-010-9181-2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Axiom Pinpointing in Lightweight Description Logics via Horn-Sat Encoding and Conflict Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Pinpointing Expression Differences

Nature Genetics
Genetics
2007English

Pinpointing Melanoma's Invasive Trigger

Cancer Discovery
Oncology
2015English

The Cone Axiom Implies the Homotopy Axiom

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1966English

Developing a Smart Clothing System for Blinds Based on Information Axiom

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2013English

Diversity-Based Inference of Finite Automata

1987English

Event-Based and State-Automata-Based Modelling of FMS

SNE Simulation Notes Europe
2010English

Restricting Spinoza's Causal Axiom

Philosophical Quarterly
Philosophy
2014English

Cellular Automata Based Representation of 3D Patterns

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy