Sciweavers

988 search results - page 38 / 198
» SenseNet: A Knowledge Representation Model for Computational...
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
15 years 3 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
ACL
2006
15 years 5 months ago
A Logic-Based Semantic Approach to Recognizing Textual Entailment
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
Marta Tatu, Dan I. Moldovan
GCC
2005
Springer
15 years 9 months ago
Collaborating Semantic Link Network with Resource Space Model
The Semantic Link Network model SLN and Resource Space Model RSM are semantic models proposed separately for effectively specifying and managing versatile resources across the Inte...
Yunpeng Xing, Jie Liu, Xiaoping Sun, Erlin Yao
ENTCS
2006
175views more  ENTCS 2006»
15 years 4 months ago
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
Claus Pahl, Yaoling Zhu
SEMWEB
2004
Springer
15 years 9 months ago
A Semantic Web Resource Protocol: XPointer and HTTP
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
Kendall Clark, Bijan Parsia, Bryan B. Thompson, Br...