Research output per year
Research output per year
- 10 results
Search results
-
2013
An abductive paraconsistent semantics - MHP
Abrantes, M. & Pereira, L. M., 1 Jan 2013, In: Technische Berichte des Instituts fur Informatik der Christian-Albrechts-Universitat zu Kiel. 1306 REPORT NO., p. 284-298 15 p.Research output: Contribution to journal › Conference article › peer-review
-
2011
Context-dependent incremental intention recognition through bayesian network model construction
Anh, H. T. & Pereira, L. M., 1 Dec 2011, In: CEUR Workshop Proceedings. 818, p. 50-58 9 p.Research output: Contribution to journal › Conference article › peer-review
8 Citations (Scopus) -
2010
Ensuring agent properties under arbitrary sequences of incoming events
Costantini, S., Dell'Acqua, P., Pereira, L. M. & Tocchio, A., 2010, In: CEUR Workshop Proceedings. 616, 8 p., 10.Research output: Contribution to journal › Conference article › peer-review
2 Citations (Scopus) -
2009
Parallel local search for solving constraint problems on the cell broadband engine (Preliminary results)
Abreu, S., Diaz, D. & Codognet, P., 8 Oct 2009, In: Electronic Proceedings in Theoretical Computer Science. 5, p. 97-111 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
Stable versus Layered Logic Program Semantics
Pereira, L. M. & Pinto, A. M., 2009, In: CEUR Workshop Proceedings. 533, p. 3-27 25 p.Research output: Contribution to journal › Conference article › peer-review
-
2008
Guiding backprop by inserting rules
Bader, S., Hölldobler, S. & Marques, N. C., 1 Dec 2008, In: CEUR Workshop Proceedings. 366, p. 19-22 4 p.Research output: Contribution to journal › Conference article › peer-review
8 Citations (Scopus) -
2007
Comparing disjunctive well-founded semantics
Knorr, M. & Hitzler, P., 1 Dec 2007, In: CEUR Workshop Proceedings. 277, 15 p.Research output: Contribution to journal › Conference article › peer-review
3 Citations (Scopus) -
2006
Prospective logic programming with ACORDA
Lopes, G. & Pereira, L. M., 1 Dec 2006, In: CEUR Workshop Proceedings. 192, p. 139-158 20 p.Research output: Contribution to journal › Conference article › peer-review
5 Citations (Scopus) -
2004
Abductive validation of a power-grid Expert System diagnoser
Castro, J. F. D. & Pereira, L. M., 1 Jan 2004, In: Lecture Notes in Artificial Intelligence (LNAI). 3029, p. 838-847 10 p.Research output: Contribution to journal › Conference article › peer-review
5 Citations (Scopus) -
2002
A logic based asynchronous multi-agent system
Dell'Acqua, P., Nilsson, U. & Pereira, L. M., 1 Jan 2002, In: Electronic Notes in Theoretical Computer Science. 70, 5, p. 72-88 17 p.Research output: Contribution to journal › Conference article › peer-review
9 Citations (Scopus)