Sciweavers

620 search results - page 2 / 124
» About the logical relations between cases and rules
Sort
View
ASWC
2009
Springer
13 years 8 months ago
Social Semantic Rule Sharing and Querying in Wellness Communities
In this paper we describe the Web 3.0 case study WellnessRules, where ontology-structured rules (including facts) about wellness opportunities are created by participants in rule l...
Harold Boley, Taylor Michael Osmun, Benjamin Larry...
ENTCS
2006
146views more  ENTCS 2006»
13 years 4 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
COLING
1992
13 years 6 months ago
Action Relations In Rationale Clauses And Means Clauses
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
Cecile T. Balkanski
ATAL
2007
Springer
13 years 11 months ago
Reasoning about judgment and preference aggregation
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
IGPL
2010
132views more  IGPL 2010»
13 years 3 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo