Search results
From MaRDI portal
- for paraconsistent description logics 2017-07-21 Paper On bisimulations for description logics 2017-05-16 Paper A Tractable Rule Language in the Modal and...10 bytes (15 words) - 14:54, 9 December 2023
- 2015-12-11 Paper Well-founded semantics for description logic programs in the semantic web 2015-09-17 Paper A data model and algebra for probabilistic complex...10 bytes (15 words) - 20:55, 11 December 2023
- Paper Representing structural language features in formal meta-languages 2021-01-20 Paper Towards a heterogeneous query language for mathematical knowledge...10 bytes (15 words) - 12:56, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4707740 2003-06-11 Paper An optimal data structure to handle dynamic environments in non-deterministic computations 2003-05-04...10 bytes (13 words) - 06:46, 9 December 2023
- state complexities of languages resulting from some operations 2018-11-07 Paper Structure and Complexity of Some Subregular Language Families 2018-09-20...10 bytes (15 words) - 02:32, 9 December 2023
- perspective 2003-01-13 Paper A quantum structure description of the liar paradox 2002-08-21 Paper Quantum structures and their future importance 2002-07-25...10 bytes (15 words) - 09:24, 11 December 2023
- integral index in data analysis 1984-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3683385 1984-01-01 Paper Simplification of graph structure with the aid...10 bytes (15 words) - 08:28, 12 December 2023
- MANAGERIAL DECISION SUPPORT USING A MODEL DESCRIPTION LANGUAGE WITH A FORMAL SEMANTICS 2003-01-08 Paper DEPENDENCE STRUCTURE— DEPENDENCE AS A BINARY RELATION 2001-04-02...10 bytes (13 words) - 02:07, 7 October 2023
- 2018-10-02 Paper Applying model-checking to solve queries on semistructured data 2018-05-16 Paper Planning as tabled logic programming 2017-11-09 Paper Decidability...10 bytes (15 words) - 06:45, 9 December 2023
- theoretic approach to data mining system 2003-07-24 Paper MODEL INTEGRATION FOR MANAGERIAL DECISION SUPPORT USING A MODEL DESCRIPTION LANGUAGE WITH A FORMAL SEMANTICS...10 bytes (13 words) - 00:01, 25 September 2023
- 2010-11-19 Paper Reachability results for timed automata with unbounded data structures 2010-10-08 Paper Compositional semantics of spiking neural P systems...10 bytes (15 words) - 22:39, 9 December 2023
- of systems with algebraic label structure 2015-11-10 Paper Sound and Complete Axiomatizations of Coalgebraic Language Equivalence 2015-09-17 Paper Canonical...10 bytes (13 words) - 07:07, 7 October 2023
- of multidimensional linear systems under data rate constraints 2013-06-26 Paper A motion description language for robotic reconnaissance of unknown fields...10 bytes (14 words) - 16:30, 12 December 2023
- the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy 2008-06-19 Paper Towards Description and Optimization of Abstract...10 bytes (15 words) - 15:22, 7 December 2023
- proteins providing a new description of the Ramachandran map 2024-01-16 Paper Quantum register algebra: the mathematical language for quantum computing 2023-09-18...10 bytes (16 words) - 01:04, 11 December 2023
- controlled languages for data access 2012-12-04 Paper View-based query answering in description logics: semantics and complexity 2012-05-11 Paper The Data Complexity...10 bytes (15 words) - 09:50, 7 October 2023
- 2012-08-14 Paper On the Amount of Nonconstructivity in Learning Formal Languages from Positive Data 2012-07-16 Paper Learning Families of Closed Sets in Matroids...10 bytes (15 words) - 11:36, 28 January 2024
- UEL: Unification Solver for the Description Logic $\mathcal{EL}$ – System Description 2012-09-05 Paper Solving Language Equations and Disequations with...10 bytes (15 words) - 18:33, 24 September 2023
- Information Flows 2023-11-03 Paper DNAQL: a query language for DNA sticker complexes 2023-09-08 Paper SHACL: a description logic in disguise 2023-04-04 Paper On the...10 bytes (17 words) - 22:15, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q3400033 2010-01-18 Paper Motion description language-based topological maps for robot navigation 2009-06-17 Paper Optimization...10 bytes (16 words) - 13:37, 8 December 2023
