A logic for context-aware non-monotonic reasoning agents
We develop a logical model for resource-bounded context-aware multi-agent systems which
handles inconsistent context information using non-monotonic reasoning. We extend the …
handles inconsistent context information using non-monotonic reasoning. We extend the …
A context-aware reasoning framework for heterogeneous systems
The emergence and penetration of smart devices and software technologies are evolving
towards new generation of the systems under the name of context-awareness. Context …
towards new generation of the systems under the name of context-awareness. Context …
A formal approach to modelling and verification of context-aware systems
HM Ul-Haque - 2017 - eprints.nottingham.ac.uk
The evolution of smart devices and software technologies has expanded the domain of
computing from workplaces to other areas of our everyday life. This trend has been rapidly …
computing from workplaces to other areas of our everyday life. This trend has been rapidly …
Integration of web-based forms with ontologies in the semantic web
SA Gómez, CI Chesnevar… - XIV Congreso Argentino de …, 2008 - sedici.unlp.edu.ar
The notion of forms as a way of organizing and presenting data has been used since the
beginning of the World Wide Web. Web-based forms have evolved together with the …
beginning of the World Wide Web. Web-based forms have evolved together with the …
A Survey of Web Research in Argentina
G Rossi - 2008 Latin American Web Conference, 2008 - ieeexplore.ieee.org
In this paper we survey current research on Web issues in Argentina. We first describe
briefly the current situation in computer science research and next we outline which are the …
briefly the current situation in computer science research and next we outline which are the …
[PDF][PDF] VERIFICATION OF CONTEXT-AWARE SYSTEMS
HMUL HAQUE - 2016 - core.ac.uk
The evolution of smart devices and software technologies has expanded the domain of
computing from workplaces to other areas of our everyday life. This trend has been rapidly …
computing from workplaces to other areas of our everyday life. This trend has been rapidly …
[PDF][PDF] Contrastive Reasoning for the Semantic Web
J Fang, Z Huang, F van Harmelen - Citeseer
The sentences “but” are used frequently in natural languages. However, the semantics of
“but” has not yet been well studied in logic and reasoning. Contrastive reasoning is the …
“but” has not yet been well studied in logic and reasoning. Contrastive reasoning is the …
Blending rules and ontology in argumentation
A Marginean - Proceedings of the ITI 2009 31st International …, 2009 - ieeexplore.ieee.org
It is good to know, but to know how to mix what you know is even better. We propose an
argumentative manner for dealing with knowledge from different sources using different …
argumentative manner for dealing with knowledge from different sources using different …
Automated reasoning in a collaborative problem solving process
MC Casalini, GR Simari - … Congreso Argentino de Ciencias de la …, 2008 - sedici.unlp.edu.ar
Collaborative systems are becoming a widely used tool particularly among professional
communities and research groups. They provide a suitable context for distributed people …
communities and research groups. They provide a suitable context for distributed people …
Razonamiento con ontologías inconsistentes: reporte de avance
SA Gómez, PD Castano, DC Martínez… - XIII Workshop de …, 2011 - sedici.unlp.edu.ar
La Web Semántica es una visión de la Web en la cual la información tiene un significado
exacto. Dado un agente con poder delegado por su usuario propietario, se desea que el …
exacto. Dado un agente con poder delegado por su usuario propietario, se desea que el …