Results 1 to 10 of about 351,936 (174)
Expressive Path Queries on Graph with Data [PDF]
Logical Methods in Computer Science, 2015 Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases - such as Conjunctive Regular Path Queries (CRPQs) - cannot express ...
Pablo Barcelo +2 more
doaj +3 more sources
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) [PDF]
Logical Methods in Computer Science, 2018 There are two natural and well-studied approaches to temporal ontology and reasoning: point-based and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals.
Willem Conradie +2 more
doaj +5 more sources
Guidelines for writing definitions in ontologies [PDF]
Ciência da Informação, 2017 Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans
Selja Seppälä +2 more
doaj +3 more sources
On the Expressiveness of TPTL and MTL over ω-Data Words [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages.
Claudia Carapelle +3 more
doaj +1 more source
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
Linear Temporal Logic for Regular Cost Functions [PDF]
Logical Methods in Computer Science, 2014 Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties.
Denis Kuperberg
doaj +1 more source
Language and the African Philosophical Traditions
Yoruba Studies Review, 2021 Are there universal principles, categories, or forms of reasoning that apply to all aspects of human experience—irrespective of culture and epoch?
Kọ́lá Abímbọ́lá
doaj +3 more sources
eLife, 2020 Despite the importance of programming to modern society, the cognitive and neural bases of code comprehension are largely unknown. Programming languages might ‘recycle’ neurocognitive mechanisms originally developed for natural languages.
Yun-Fei Liu +3 more
doaj +1 more source
Nested Hoare Triples and Frame Rules for Higher-order Store [PDF]
Logical Methods in Computer Science, 2011 Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we investigate the ...
Jan Schwinghammer +3 more
doaj +1 more source
Transformation of natural language into logical formulas [PDF]
Proceedings of the 9th conference on Computational linguistics -, 1982 This paper presents an attempt of elaboration of a full parsing system for Polish natural language which is being worked out in the Institute of Informatics of Warsaw University. Our system was adapted to the parsing of the corpus of real medical texts which concern a subdomain of medicine.
Leonard Bolc, Tomasz Strzalkowski
openaire +1 more source