Search Sciweavers | Sciweavers

110 search results - page 4 / 22

» A Logic-Based System for e-Tourism

click to vote

SUM
2010
Springer

133views Information Technology» more SUM 2010»

A Formal Analysis of Logic-Based Argumentation Systems

13 years 3 months ago

Download www.irit.fr

Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...

Leila Amgoud, Philippe Besnard

claim paper

Read More »

click to vote

LPNMR
2009
Springer

94views Automated Reasoning» more LPNMR 2009»

Logic-Based Modeling in Systems Biology

14 years 6 days ago

Download www.cs.uni-potsdam.de

Alexander Bockmayr

claim paper

Read More »

click to vote

EEE
2005
IEEE

156views Information Technology» more EEE 2005»

DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering

13 years 11 months ago

Download www.csd.uoc.gr

Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...

Grigoris Antoniou, Thomas Skylogiannis, Antonis Bi...

claim paper

Read More »

click to vote

MMMACNS
2005
Springer

119views Information Technology» more MMMACNS 2005»

A Temporal Logic-Based Model for Forensic Investigation in Networked System Security

13 years 11 months ago