Search Sciweavers | Sciweavers

3319 search results - page 47 / 664

» Subshifts, Languages and Logic

click to vote

ATAL
2009
Springer

94views Intelligent Agents» more ATAL 2009»

Logical formalization of social commitments: application to agent communication languages

16 years 21 days ago

Download www.aamas-conference.org

Benoit Gaudou, Andreas Herzig, Dominique Longin

claim paper

Read More »

119

click to vote

RTA
2007
Springer

81views Theoretical Computer Science» more RTA 2007»

KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis

16 years 6 days ago

Download fsl.cs.uiuc.edu

Mark Hills, Grigore Rosu

claim paper

Read More »

131

click to vote

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

15 years 11 months ago

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

134

click to vote

ASIAN
2004
Springer

112views Algorithms» more ASIAN 2004»

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction

15 years 11 months ago

Download www.clip.dia.fi.upm.es

Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...

claim paper

Read More »

120

click to vote

JELIA
2004
Springer

115views Artificial Intelligence» more JELIA 2004»

The DALI Logic Programming Agent-Oriented Language

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers