Zobrazeno 1 - 10
of 107
pro vyhledávání: '"SADRI, FARIBA"'
Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on abductive logic programming, it combines reactive rules with logic programs, a database and a causal theory that specifies transitions between the sta
Externí odkaz:
http://arxiv.org/abs/2109.10633
Autor:
Wielemaker, Jan, Riguzzi, Fabrizio, Kowalski, Bob, Lager, Torbjörn, Sadri, Fariba, Calejo, Miguel
Publikováno v:
Jan Wielemaker et al. Using SWISH to realise interactive web based tutorials for logic based languages. Theory and Practice of Logic Programming, 19(2):229--261, 2019
Programming environments have evolved from purely text based to using graphical user interfaces, and now we see a move towards web based interfaces, such as Jupyter. Web based interfaces allow for the creation of interactive documents that consist of
Externí odkaz:
http://arxiv.org/abs/1808.08042
Autor:
Kowalski, Robert, Sadri, Fariba
Publikováno v:
Theory and Practice of Logic Programming 16 (2016) 269-295
In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initia
Externí odkaz:
http://arxiv.org/abs/1601.00529
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 33, pages 285-348, 2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan model. This model allows the specification of heterogeneous agents that can interact with each other, and can exhibit both proactiv
Externí odkaz:
http://arxiv.org/abs/1401.3443
Autor:
Kowalski, Robert, Sadri, Fariba
In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitio
Externí odkaz:
http://arxiv.org/abs/1301.6905
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.
Autor:
Kowalski, Robert1 rak@doc.ic.ac.uk, Sadri, Fariba1 fs@doc.ic.ac.uk
Publikováno v:
New Generation Computing. Jan2015, Vol. 33 Issue 1, p33-67. 35p.
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.