Sciweavers

9873 search results - page 287 / 1975
» Emergent Semantics Systems
Sort
View
ECAI
2010
Springer
15 years 7 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
COLING
2010
15 years 1 months ago
TimeML Events Recognition and Classification: Learning CRF Models with Semantic Roles
This paper analyzes the contribution of semantic roles to TimeML event recognition and classification. For that purpose, an approach using conditional random fields with a variety...
Hector Llorens, Estela Saquete, Borja Navarro-Colo...
LFCS
2009
Springer
16 years 1 months ago
A Labeled Natural Deduction System for a Fragment of CTL*
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
Andrea Masini, Luca Viganò, Marco Volpe
222
Voted
RR
2009
Springer
15 years 11 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
IIWAS
2004
15 years 8 months ago
Combining Text And Image Analysis in The Web Filtering System "WEBGUARD"
Web applications increasingly utilize search techniques that heavily rely on content-based text and image analyses. For example, for parental site filtering, it is necessary to id...
Mohamed Hammami, Youssef Chahir, Liming Chen