Sciweavers

935 search results - page 34 / 187
» Stable models and difference logic
Sort
View
ESWS
2006
Springer
14 years 10 days ago
The Web Service Modeling Language WSML: An Overview
The Web Service Modeling Language (WSML) is a language for the specification of different aspects of Semantic Web Services. It provides a formal language for the Web Service Modeli...
Jos de Bruijn, Holger Lausen, Axel Polleres, Diete...
CCIA
2005
Springer
14 years 2 months ago
On Warranted Inference in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
Carlos Iván Chesñevar, Guillermo Ric...
ICASSP
2010
IEEE
13 years 8 months ago
Statistical modeling of co-channel interference in a field of Poisson distributed interferers
—With increasing spatial reuse of the radio spectrum, co-channel interference is becoming a dominant noise source and may severely degrade the communication performance of wirele...
Kapil Gulati, Brian L. Evans, Keith R. Tinsley
ECML
2007
Springer
14 years 2 months ago
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search
We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm i...
Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendr...
CISIS
2009
IEEE
14 years 3 months ago
A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
Oliver Ray, Ken E. Whelan, Ross D. King