Sciweavers

653 search results - page 14 / 131

» Partial equilibrium logic

18

DALT
2004
Springer

108views Intelligent Agents» more DALT 2004»

Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective

14 years 27 days ago

Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective

Download centria.di.fct.unl.pt

Peep Küngas, Mihhail Matskin

claim paper

Read More »

18

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

14 years 12 days ago

Tensed Ontology Based on Simple Partial Logic

Download www.kyy.saitama-u.ac.jp

Daisuke Kachi

claim paper

Read More »

18

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

13 years 12 months ago

Partial Models of Extended Generalized Logic Programs

Download centria.di.fct.unl.pt

José Júlio Alferes, Heinrich Herre, ...

claim paper

Read More »

22

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

13 years 11 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

26

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

13 years 8 months ago

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

Download repository.readscheme.org

Neil D. Jones

claim paper

Read More »

« Prev « First page 14 / 131 Last » Next »