Search Sciweavers | Sciweavers

7961 search results - page 113 / 1593

» Input-Output Model Programs

149

click to vote

MAAMAW
1994
Springer

109views Intelligent Agents» more MAAMAW 1994»

DA-Soc: A Testbed for Modelling Distribution Automation Applications Using Agent-Oriented Programming

15 years 10 months ago

Download www.bth.se

Staffan Haegg, Fredrik Ygge, Rune Gustavsson, Hans...

claim paper

Read More »

120

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

15 years 10 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

126

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

15 years 10 months ago

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

142

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

15 years 10 months ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

113

click to vote

ATAL
2008
Springer

105views Intelligent Agents» more ATAL 2008»

A model of contingent planning for agent programming languages

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers