Conference publications in 2007
M. Knorr, J. J. Alferes and P. Hitzler, Towards Tractable Local Closed World
Reasoning for the Semantic Web. In J. Maia
Neves, M. F. Santos and J. M. Machado (eds), Progress in
Artificial Intelligence, Procs. 13th Portuguese
Intl.Conf. on Artificial Intelligence, LNAI, Springer,
Guimarães, Portugal, December 2007.© Springer-Verlag.
J. J. Alferes and R. Amador, r3: A foundational ontology for reactive
rules. In T. Dillion, M. Missikoff and S. Staab
(eds), Ontologies, DataBases, and Applications of
Semantics (ODBASE'07), LNCS, Springer, Albufeira,
Portugal, November 2007.© Springer-Verlag.
M. Knorr, J. J. Alferes and P. Hitzler, A Well-founded Semantics for Hybrid MKNF
Knowledge Bases, in: D. Calvanese, E. Franconi,
V. Haarsle, D. Lembo, B. Motik and A-Y. Turhan (eds),
Proceedings of 20th International Workshop on
Description Logics (DL2007), CEUR Workshop Proceedings,
Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June
2007.
J. J. Alferes and R. Amador, r3: Towards a foundational ontology for
reactive rules. In Proceedings of 4th European
Semantic Web Conference (ESWC 2007), poster, Springer,
Innsbruck, Austria, June 2007.
I. Almeida and J. J. Alferes, Argumentation-based Proof for an Argument
in a Paraconsistent Setting. In G. Simari and
P. Torroni (eds), Proceedings of Workshop on
Argumentation and Non-Monotonic Reasoning (ArgNMR'07),
Online Proceedings, Tempe, Arizona, USA, Pag. 64-79, May
2007.