4513 search results - page 531 / 903 » Logic programming with satisfiability |
139
click to vote
BPM
2006
Springer
15 years 8 months ago
2006
Springer
A framework for modeling Semantic Web Service is proposed. It is based on Description Logic (DL), hence it is endowed with a formal semantics and, in addition, it allows for expres...
135
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
154
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
130
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impos...
148
click to vote
OWLED
2007
15 years 6 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...