Search Sciweavers | Sciweavers

7

click to vote

LOGCOM
1998

64views more LOGCOM 1998»

A Relevant Analysis of Natural Deduction

13 years 5 months ago

Download www-2.cs.cmu.edu

Samin S. Ishtiaq, David J. Pym

claim paper

Read More »

15

click to vote

LOGCOM
1998

110views more LOGCOM 1998»

leanTAP Revisited

13 years 5 months ago

Download comet.lehman.cuny.edu

A sequent calculus of a new sort is extracted from the Prolog program leanTAP. This calculus is sound and complete, even though it lacks almost all structural rules. Thinking of l...

Melvin Fitting

claim paper

Read More »

15

click to vote

LOGCOM
1998

132views more LOGCOM 1998»

Agents That Reason and Negotiate by Arguing

13 years 5 months ago

Download www.sci.brooklyn.cuny.edu

The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...

Simon Parsons, Carles Sierra, Nicholas R. Jennings

claim paper

Read More »

18

click to vote

LOGCOM
1998

122views more LOGCOM 1998»

Adding the Everywhere Operator to Propositional Logic

13 years 5 months ago

Download www.cs.cornell.edu

Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...

David Gries, Fred B. Schneider

claim paper

Read More »

15

click to vote

LOGCOM
1998

126views more LOGCOM 1998»

Engineering AgentSpeak(L): A Formal Computational Model

13 years 5 months ago

Download www.dcs.kcl.ac.uk

Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...

Mark d'Inverno, Michael Luck

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers