Sciweavers

1072 search results - page 50 / 215
» Semantic Evaluation for Spoken-Language Systems
Sort
View
ASP
2005
Springer
15 years 3 months ago
Debugging Logic Programs under the Answer Set Semantics
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
Martin Brain, Marina De Vos
DEXAW
2009
IEEE
73views Database» more  DEXAW 2009»
15 years 1 months ago
Matching Semantic Web Resources
—In this paper, we propose knowledge-chunk based techniques for instance matching and mapping discovery of Semantic Web resources. Knowledge chunks provide a synthetic representa...
Silvana Castano, Alfio Ferrara, Stefano Montanelli...
WOLLIC
2009
Springer
15 years 4 months ago
Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...
Katsuhiko Sano
CN
2004
104views more  CN 2004»
14 years 9 months ago
On detecting feature interactions in the programmable service environment of Internet telephony
This paper presents a new method to tackle the feature interaction problem in Internet telephony with the CPL (Call Processing Language) programmable service environment. To cope ...
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Ma...
FLAIRS
2008
15 years 3 days ago
Declarative Specification and Interpretation of Rule-Based Systems
A declarative rule inference engine can be very useful for modern distributed or heterogeneous applications, if it can be configured for multiple semantics and evaluation strategi...
Dietmar Seipel, Joachim Baumeister