Results 31 to 40 of about 261,741 (294)
Finitary Semantics of Linear Logic and Higher-Order Model-Checking [PDF]
, 2015 In this paper, we explain how the connection between higher-order model-checking and linear logic recently exhibited by the authors leads to a new and conceptually enlightening proof of the selection problem originally established by Carayol and Serre using collapsible pushdown automata.
Grellois, Charles, Melliès, Paul-André
openaire +2 more sources
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models [PDF]
Journal of Logic and Computation, 2022 AbstractThe literature on awareness modelling includes both syntax-free and syntax-based frameworks. Heifetz, Meier and Schipper (HMS) propose a lattice model of awareness that is syntax-free. While their lattice approach is elegant and intuitive, it does not explicitly distinguish uncertainty from unawareness.
Belardinelli, Gaia +1 more
openaire +3 more sources
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
IEEE Access, 2022 The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and semantic ...
Robin Mross +4 more
doaj +1 more source
Frontiers in Education, 2023 Empirical research results show that the system of logical operations and conclusion schemes does not become complete even in adulthood. Although we know other logical models besides the classical two-valued logical reasoning model, in higher education ...
Edith Debrenti, Andrea Bordás
doaj +1 more source
Linguistic Approach to Semantic Correlation Rules [PDF]
SHS Web of Conferences, 2021 As communication between humans and machines in natural language still seems essential, especially for end users, Natural Language Processing (NLP) methods are used to classify and interpret this.
Effenberger Charlotte
doaj +1 more source
Hierarchical semantic representations of online news comments for emotion tagging using multiple information sources [PDF]
, 2017 With the development of online news services, users now can actively respond to online news by expressing subjective emotions, which can help us understand the predilections and opinions of an individual user, and help news publishers to provide more ...
A Jordan +11 more
core +1 more source
Development of models and methods for constructing multidimensional didactic instruments
Авіаційно-космічна техніка та технологіяThe subject of the study in this article is the synthesis of multifactorial, predominantly eight-factor graphical logical-semantic models for knowledge representation with an open architecture for knowledge bases.
Serhiy Dotsenko +3 more
doaj +1 more source
Cross-domain Semantic Parsing via Paraphrasing
, 2017 Existing studies on semantic parsing mainly focus on the in-domain setting. We formulate cross-domain semantic parsing as a domain adaptation problem: train a semantic parser on some source domains and then adapt it to the target domain.
Su, Yu, Yan, Xifeng
core +1 more source
Compositional Semantic Parsing on Semi-Structured Tables [PDF]
, 2015 Two important aspects of semantic parsing for question answering are the breadth of the knowledge source and the depth of logical compositionality. While existing work trades off one aspect for another, this paper simultaneously makes progress on both ...
Liang, Percy, Pasupat, Panupong
core +2 more sources
General Models and Entailment Semantics for Independence Logic
Notre Dame Journal of Formal Logic, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources