Results 1 to 10 of about 366,917 (330)
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
Fuzzy Logic as the Logic of Natural Languages
Analysis and Design of Intelligent Systems using Soft Computing Techniques, 2007 As we move further into the age of machine intelligence and automated decision-making, a long-standing problem becomes more pressing and more complex. The problem is: How to reason and compute with information described in natural language. The basic importance of this problem derives from the fact that much of human knowledge—and especially world ...
L. Zadeh
openaire +2 more sources
Notre Dame Journal of Formal Logic, 1991 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
W. C. Purdy
openaire +4 more sources
Concerning the Logic of Natural Languages and the “Naturalness” of the Logical Ones [PDF]
Word, 1967 (1967). Concerning the Logic of Natural Languages and the “Naturalness” of the Logical Ones. WORD: Vol. 23, Linguistic Studies Pesented to Andre Martinet: Part One, General Linguistics, pp. 13-16.
exaly +2 more sources
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
Electronic Notes in Theoretical Computer Science, 2006 Ando Saabas, Tarmo Uustalu
exaly +2 more sources
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models [PDF]
Conference on Empirical Methods in Natural Language Processing, 2023 Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and generalizable
Yongchao Chen +3 more
semanticscholar +1 more source
ChatGPT for PLC/DCS Control Logic Generation [PDF]
IEEE International Conference on Emerging Technologies and Factory Automation, 2023 Large language models (LLMs) providing generative AI have become popular to support software engineers in creating, summarizing, optimizing, and documenting source code.
Heiko Koziolek +2 more
semanticscholar +1 more source
AAAI Conference on Artificial Intelligence, 2023 This is a demonstration of our newly released Python package NL2LTL which leverages the latest in natural language understanding (NLU) and large language models (LLMs) to translate natural language instructions to linear temporal logic (LTL) formulas ...
Francesco Fuggitti +1 more
semanticscholar +1 more source
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