Sciweavers

653 search results - page 14 / 131

» Partial equilibrium logic

111

DALT
2004
Springer

108views Intelligent Agents» more DALT 2004»

Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective

15 years 9 months 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 »

100

Voted

TIME
2002
IEEE

80views Automated Reasoning» more TIME 2002»

Tensed Ontology Based on Simple Partial Logic

15 years 8 months ago

Tensed Ontology Based on Simple Partial Logic

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

Daisuke Kachi

claim paper

Read More »

93

CL
2000
Springer

85views Automated Reasoning» more CL 2000»

Partial Models of Extended Generalized Logic Programs

15 years 7 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 »

102

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 7 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

107

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

15 years 4 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 »