175 search results - page 9 / 35 » Generalizing stable semantics by preferences |
107
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
148
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
136
Voted
SIAMDM
2010
14 years 10 months ago
2010
The Border Gateway Protocol (BGP) is the interdomain routing protocol used to exchange routing information between Autonomous Systems (ASes) in the internet today. While intradoma...
163
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
157
Voted
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
The stable marriage problem (SM) has a wide variety of practical applications, ranging from matching resident doctors to hospitals, to matching students to schools, or more general...