Found: 29
Select item for more details and to access through your institution.
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 75, p. 1223, doi. 10.1613/jair.1.13511
- By:
- Publication type:
- Article
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
- Published in:
- Journal of Symbolic Logic, 2019, v. 84, n. 2, p. 533, doi. 10.1017/jsl.2019.22
- By:
- Publication type:
- Article
Exact Learning of Lightweight Description Logic Ontologies.
- Published in:
- Journal of Machine Learning Research, 2018, v. 18, n. 154-234, p. 1
- By:
- Publication type:
- Article
THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2017, v. 13, n. 4, p. 1, doi. 10.23638/LMCS-13(4:7)2017
- By:
- Publication type:
- Article
Query and Predicate Emptiness in Ontology-Based Data Access.
- Published in:
- Journal of Artificial Intelligence Research, 2016, v. 56, p. 1, doi. 10.1613/jair.4866
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2012
- By:
- Publication type:
- Book Review
The Logical Difference for the Lightweight Description Logic E L.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 44, p. 633, doi. 10.1613/jair.3552
- By:
- Publication type:
- Article
The Complexity of Circumscription in Description Logic.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 35, p. 717, doi. 10.1613/jair.2763
- By:
- Publication type:
- Article
ATL Satisfiability is Indeed ExpTime-complete.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 6, p. 765, doi. 10.1093/logcom/exl009
- By:
- Publication type:
- Article
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.
- Published in:
- Studia Logica, 2005, v. 81, n. 2, p. 153, doi. 10.1007/s11225-005-3702-8
- By:
- Publication type:
- Article
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 23, p. 167, doi. 10.1613/jair.1537
- By:
- Publication type:
- Article
On Non-local Propositional and Weak Monodic Quantified CTL*.
- Published in:
- Journal of Logic & Computation, 2004, v. 14, n. 1, p. 3, doi. 10.1093/logcom/14.1.3
- By:
- Publication type:
- Article
Temporalising Tableaux.
- Published in:
- Studia Logica, 2004, v. 76, n. 1, p. 91, doi. 10.1023/b:stud.0000027468.28935.6d
- By:
- Publication type:
- Article
A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case.
- Published in:
- Journal of Logic & Computation, 2002, v. 12, n. 5, p. 809, doi. 10.1093/logcom/12.5.809
- By:
- Publication type:
- Article
Two long-chain acyl-CoA synthetases from Arabidopsis thaliana involved in peroxisomal fatty acid β-oxidation.
- Published in:
- Plant Journal, 2002, v. 32, n. 1, p. 93, doi. 10.1046/j.1365-313X.2002.01405.x
- By:
- Publication type:
- Article
Common knowledge and quantification.
- Published in:
- Economic Theory, 2002, v. 19, n. 1, p. 157, doi. 10.1007/s001990100201
- By:
- Publication type:
- Article
A cDNA encoding 3-deoxy-d-manno-oct-2-ulosonate-8-phosphate synthase of Pisum sativum L. (pea) functionally complements a kdsA mutant of the Gram-negative bacterium Salmonella enterica.
- Published in:
- Planta: An International Journal of Plant Biology, 2000, v. 212, n. 1, p. 136, doi. 10.1007/s004250000459
- By:
- Publication type:
- Article
First Order Common Knowledge Logics.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 249, doi. 10.1023/A:1005271815356
- By:
- Publication type:
- Article
The product of converse PDL and polymodal K.
- Published in:
- Journal of Logic & Computation, 2000, v. 10, n. 2, doi. 10.1093/logcom/10.2.223
- By:
- Publication type:
- Article
On logics with coimplication.
- Published in:
- Journal of Philosophical Logic, 1998, v. 27, n. 4, p. 353, doi. 10.1023/A:1004218110879
- By:
- Publication type:
- Article
A UDP glucosyltransferase from Bacillus subtilis successively transfers up to four glucose residues to 1,2-diacylglycerol: expression ofypfP inEscherichia coli and structural analysis of its reaction products.
- Published in:
- Molecular Microbiology, 1998, v. 29, n. 2, p. 419, doi. 10.1046/j.1365-2958.1998.00930.x
- By:
- Publication type:
- Article
All finitely axiomatizable subframe logics containing the provability logic CS...
- Published in:
- Archive for Mathematical Logic, 1998, v. 37, n. 3, p. 167, doi. 10.1007/s001530050090
- By:
- Publication type:
- Article
A note on the interpolation property in tense logic.
- Published in:
- Journal of Philosophical Logic, 1997, v. 26, n. 5, p. 545, doi. 10.1023/A:1017956722866
- By:
- Publication type:
- Article
Simulation and Transfer Results in Modal Logic – A Survey.
- Published in:
- Studia Logica, 1997, v. 59, n. 2, p. 149, doi. 10.1023/A:1004900300438
- By:
- Publication type:
- Article
Superintuitionistic Companions of Classical Modal Logics.
- Published in:
- Studia Logica, 1997, v. 58, n. 2, p. 229, doi. 10.1023/A:1004916107078
- By:
- Publication type:
- Article
Tense Logic Without Tense Operators.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 145, doi. 10.1002/malq.19960420113
- By:
- Publication type:
- Article
Properties of Tense Logics.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 481, doi. 10.1002/malq.19960420140
- By:
- Publication type:
- Article
What is the upper part of the lattice of bimodal logics?
- Published in:
- Studia Logica, 1994, v. 53, n. 2, p. 235, doi. 10.1007/BF01054711
- By:
- Publication type:
- Article
TOWARDS AN EXPLANATION OF THE PRODUCTIVITY SLOWDOWN: AN ACCELERATION-DECELERATION HYPOTHESIS.
- Published in:
- Economic Journal, 1983, v. 93, n. 369, p. 35, doi. 10.2307/2232163
- By:
- Publication type:
- Article