Search Sciweavers | Sciweavers

4978 search results - page 173 / 996

» Logical models of argument

148

click to vote

ASP
2001
Springer

160views Automated Reasoning» more ASP 2001»

Effect of knowledge representation on model based planning: experiments using logic programming encodings

15 years 7 months ago

Download www.aaai.org

In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...

Le-Chi Tuan, Chitta Baral

claim paper

Read More »

Voted

SIAMMA
2010

66views more SIAMMA 2010»

On a Nonlocal Reaction-Diffusion Problem Arising from the Modeling of Phytoplankton Growth

14 years 10 months ago

Download www.math.nthu.edu.tw

In this paper we analyze a nonlocal reaction-diffusion model which arises from the modeling of competition of phytoplankton species with incomplete mixing in a water column. The no...

Yihong Du, Sze-Bi Hsu

claim paper

Read More »

220

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 4 months ago