Sciweavers

5671 search results - page 629 / 1135
» A Semantic Approach to Interpolation
Sort
View
ECAI
1998
Springer
15 years 11 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
ICLP
2007
Springer
15 years 11 months ago
Combining OWL with F-Logic Rules and Defaults
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
Heiko Kattenstroth, Wolfgang May, Franz Schenk
FMCO
2004
Springer
15 years 11 months ago
A Perspective on Component Refinement
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
Luís Soares Barbosa
ROBOCUP
1998
Springer
128views Robotics» more  ROBOCUP 1998»
15 years 10 months ago
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
Yu Zhang, Alan K. Mackworth
CIKM
2009
Springer
15 years 10 months ago
Building domain-oriented sentiment lexicon by improved information bottleneck
This paper describes an adapted information bottleneck approach for construction of domain-oriented sentiment lexicon. The basic idea is to use three kinds of relationships (WWint...
Weifu Du, Songbo Tan