Wszystkie pola: logic programming semantics

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logic programming semantics" wg kryterium: Wszystkie pola

Wyświetlanie 1-13 z 13

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
Autorzy:: Nieves, J.C.
Osorio, M.
Zepeda, C.
Data publikacji:: 2011
Słowa kluczowe:: non-monotonic reasoning
extension-based argumentation semantics
logic programming semantics
Logic Programming (LP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Abducible Semantics and Argumentation
Autorzy:: Osorio, M.
Carballido, J. L.
Zepeda, C.
Data publikacji:: 2017
Słowa kluczowe:: argumentation framework
argumentation semantics
logic programming semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: RTT+ - Time Validity Constraints in RTT Language
Autorzy:: Felkner, A.
Kozakiewicz, A.
Data publikacji:: 2012
Słowa kluczowe:: access control
inference system with time constraints
logic programming semantics
role-based trust management
set-theoretic semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: RTT+ - Time Validity Constraints in RTT Language
Autorzy:: Felkner, A.
Kozakiewicz, A.
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: access control
inference system with time constraints
logic programming semantics
role-based trust management
set-theoretic semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Autorzy:: Riguzzi, F.
Data publikacji:: 2010
Słowa kluczowe:: Probabilistic Logic Programming
well-founded semantics
Logic Programs with Annotated Disjunctions
SLG Resolution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The CHR-based Implementation of the SCIFF Abductive System
Autorzy:: Alberti, M.
Gavanelli, M.
Lamma, E.
Data publikacji:: 2013
Słowa kluczowe:: logic programming
prediction models
mathematical proofs
default logic
semantics
verification logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards Deriving Conclusions from Cause-effect Relations
Autorzy:: Fandinno, J.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
semantics
knowledge representation
performance evaluation
computer algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A Theoretical Perspective of Coinductive Logic Programming
Autorzy:: Ancona, D.
Dovier, A.
Data publikacji:: 2015
Słowa kluczowe:: logic programming
denotational semantics
coinduction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Extending Logic Programming with Labelled Variables : Model and Semantics
Autorzy:: Calegari, R.
Denti, E.
Dovier, A.
Omicini, A.
Data publikacji:: 2018
Słowa kluczowe:: formal semantics
labelled systems
labelled variables
logic programming
metainterpretation
situated intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Autorzy:: Vennekens, J.
Wittocx, J.
Mariën, M.
Denecker, M.
Data publikacji:: 2007
Słowa kluczowe:: Logic Programming (LP)
approximation
fixpoint extension; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
Autorzy:: Su, Ezgi Iraz
Data publikacji:: 2020
Słowa kluczowe:: nonmonotonic reasoning
minimal model semantics
autoepistemic equilibrium logic
answer set programming
epistemic specification
monotonic modal logic
Kripke model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Negation as a Resource: a Novel View on Answer Set Semantics
Autorzy:: Costantini, S.
Formisano, A.
Data publikacji:: 2015
Słowa kluczowe:: answer set programming
default negation
linear logic
autoepistemic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:: Gheorghiu, Alexander V.
Pym, David J.
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logic programming
proof-theoretic semantics
bilateralism
negationas-failure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-13 z 13

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "logic programming semantics" wg kryterium: Wszystkie pola