Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Nomikos, C."'
Publikováno v:
In Journal of Applied Geophysics May 2016 128:41-57
A default consequence relation is a well-behaved collection of conditional assertions (defaults). A default conditional α| ∼ β is read as ‘ifα, then normallyβ’ and can be given several interpretations, including a ‘size’-oriented one:
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::fcdda1d55b404fe3b95060093e74623e
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3023988
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3023988
A classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases (Papadimitriou 1985; Grädel 1992; Vardi 1982; Immerman 1986; Leivant 1989). In this paper we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::06acb21b4e0f1a043fdb55f77a604232
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3063448
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3063448
Intensional logic programming is an extension of logic programming based on intensional logic, which includes as special cases both temporal and modal logic programming. In [13], M. Orgun and W.W. Wadge provided a general framework for capturing the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::661ffa80a70d5467dd425b3d8e9c9667
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3063768
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3063768
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The modality 'true in many cases' is used to handle non-classical patterns of reasoning, like 'probably φ is the case' or 'normally φ holds'. It is of interest in Knowledge Representation as it has found interesting applications in Epistemic Logic,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2127::01f6673229dd05d8a8cb31ed04367dd3
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3025071
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3025071
We examine the notion of bisimulation and its rami?cations, in the context of the family of Heyting-valued modal languages introduced by M. Fitting. Each modal language in this family is built on an underlying space of truth values, a Heyting algebra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_____10561::0384c65b8e7ae75a170fdf863c72f618
http://olympias.lib.uoi.gr/jspui/handle/123456789/11086
http://olympias.lib.uoi.gr/jspui/handle/123456789/11086
We obtain a simple, purely game-theoretic characterization of Boolean grammars [A. Okhotin, Boolean grammars, Information and Computation, 194(1) (2004) 1948]. In particular, we propose a two-player infinite game of perfect information for Boolean gr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b6e06f4987da9b7bc331ce58d942b4a
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064728
https://pergamos.lib.uoa.gr/uoa/dl/object/uoadl:3064728
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.