Publications

Export 112 results:
Sort by: Title [ Year  (Asc)]
2013
Gonçalves, Ricardo, and José Júlio Alferes. "Decidability and Implementation of Parametrized Logic Programs." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 361-373. Abstractlpnmr13a.pdf

n/a

Gonçalves, Ricardo, and José Júlio Alferes. "Deontic logic programs." International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13. IFAAMAS, 2013. 1333-1334. Abstractaamas13.pdf

n/a

Alferes, José Júlio, Ricardo Gonçalves, and João Leite. "Equivalence of defeasible normative systems." Journal Of Applied Non-Classical Logics. 23 (2013): 25-48. Abstractjancl13.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "Extending Transaction Logic with External Actions." Theory And Practice Of Logic Programming. 13.4-5-Online-Supplement (2013). Abstracticlp13.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "External Transaction Logic with Automatic Compensations." Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. Springer-Verlag, 2013. 239-255. Abstractclima13.pdf

n/a

Alferes, José Júlio, Matthias Knorr, and Kewen Wang. "Forgetting under the Well-Founded Semantics." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 36-41. Abstractforgettinglpnmr13.pdf

n/a

Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013). Abstracttocl13.pdf

n/a

2014
Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." Theory and Practice of Logic Programming. 14 (2014): 239-264. Abstracttplp-11-mknf.pdf

n/a

Knorr, Matthias, and José Julio Alferes. "Preserving strong equivalence while forgetting." Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Vol. 8761. Springer Verlag, 2014. 412-425. Abstractjelia14.pdf

n/a

Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014. Abstracticlp14.pdf

n/a

2015
Gomes, Ana Sofia, and José Júlio Alferes. "How to combine event stream reasoning with transactions for the semantic web." Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. Vol. 9202. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9202. Springer-Verlag, 2015. 258-273. Abstractruleml.pdf

Semantic Sensor Web is a new trend of research integrating Semantic Web technologies with sensor networks. It uses Semantic Web standards to describe both the data produced by the sensors, but also the sensors and their networks, which enables interoperability of sensor networks, and provides a way to formally analyze and reason about these networks. Since sensors produce data at a very high rate, they require solutions to reason efficiently about what complex events occur based on the data captured. Nevertheless, besides detecting complex events, sensor based applications also need to execute actions in response to these events, and in some cases, to execute these actions in a transactional way. In this paper we propose TRev as a solution to combine the detection of complex events with the execution of transactions for these domains. TRev is an abstract logic to model and execute reactive transactions. The logic is parametric on a pair of oracles defining the basic primitives of the domain, which makes it suitable for a wide range of applications. In this paper we provide oracle instantiations combining RDF/OWL and relational database semantics for TRev Afterwards, based on these oracles, we illustrate how TRev can be useful for these domains.

Gomes, Ana Sofia, and José Júlio Alferes. "A procedure for an event-condition-transaction language." Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. Vol. 9209. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9209. Springer-Verlag, 2015. 113-129. Abstractrr15.pdf

Event-Condition-Action languages are the commonly accepted para- digm to express and model the behavior of reactive systems. While numerous Event-Condition-Action languages have been proposed in the literature, differing e.g. on the expressivity of the language and on its operational behavior, existing Event-Condition-Action languages do not generally support the action compo- nent to be formulated as a transaction. In this paper, sustaining that it is important to execute transactions in reactive languages, we propose an Event-Condition- Transaction language, based on an extension of Transaction Logic. This exten- sion, called Transaction Logic with Events (T Rev ), combines reasoning about the execution of transactions with the ability to detect complex events. An impor- tant characteristic of T Rev is that it takes a choice function as a parameter of the theory, leaving open the behavioral decisions of the logic, and thereby allowing it to be suitable for a wide-spectrum of application scenarios like Semantic Web, multi-agent systems, databases, etc. We start by showing how T Rev can be used as an Event-Condition-Action language where actions are considered as transac- tions, and how to differently instantiate this choice function to achieve different operational behaviors. Then, based on a particular operational instantiation of the logic, we present a procedure that is sound and complete w.r.t. the semantics and that is able to execute T Rev programs