Sciweavers

19 search results - page 1 / 4

» lpnmr 2004

20

LPNMR
2004
Springer

93views Automated Reasoning» more LPNMR 2004»

Constraints and Probabilistic Networks: A Look At The Interface

14 years 1 months ago

Constraints and Probabilistic Networks: A Look At The Interface

Download www.ics.uci.edu

Rina Dechter

claim paper

Read More »

25

LPNMR
2004
Springer

105views Automated Reasoning» more LPNMR 2004»

Answer Sets: From Constraint Programming Towards Qualitative Optimization

14 years 1 months ago

Answer Sets: From Constraint Programming Towards Qualitative Optimization

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

25

LPNMR
2004
Springer

84views Automated Reasoning» more LPNMR 2004»

Properties of Iterated Multiple Belief Revision

14 years 1 months ago

Properties of Iterated Multiple Belief Revision

Download www.cit.uws.edu.au

Dongmo Zhang

claim paper

Read More »

23

LPNMR
2004
Springer

69views Automated Reasoning» more LPNMR 2004»

Verifying the Equivalence of Logic Programs in the Disjunctive Case

14 years 1 months ago

Verifying the Equivalence of Logic Programs in the Disjunctive Case

Download www.tcs.hut.fi

Emilia Oikarinen, Tomi Janhunen

claim paper

Read More »

24

LPNMR
2004
Springer

88views Automated Reasoning» more LPNMR 2004»

Smodels with CLP?A Treatment of Aggregates in ASP

14 years 1 months ago

Smodels with CLP?A Treatment of Aggregates in ASP

Download www.cs.nmsu.edu

Enrico Pontelli, Tran Cao Son, Islam Elkabani

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »