Sciweavers

3319 search results - page 90 / 664
» Subshifts, Languages and Logic
Sort
View
104
Voted
IGPL
2010
142views more  IGPL 2010»
14 years 10 months ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov
80
Voted
FLAIRS
2007
15 years 2 months ago
Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are ...
Antoni Ligeza, Grzegorz J. Nalepa
140
Voted
CORR
2004
Springer
110views Education» more  CORR 2004»
15 years 13 days ago
On Modal Logics of Partial Recursive Functions
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
Pavel Naumov
115
Voted
ACL
1992
15 years 1 months ago
Information States as First Class Citizens
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
Jørgen Villadsen
EACL
1993
ACL Anthology
15 years 1 months ago
Categorial grammar, modalities and algebraic semantics
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
Koen Versmissen