Sciweavers

2076 search results - page 39 / 416

» Functional logic overloading

24

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

13 years 8 months ago

Partial Evaluation of Functional Logic Programs

Download www.cparity.com

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

21

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 7 months ago

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

24

TOCL
2010

73views more TOCL 2010»

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

13 years 7 months ago

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Download tocl.acm.org

Thomas Eiter, Mantas Simkus

claim paper

Read More »

41

LOGCOM
2011

235views Programming Languages» more LOGCOM 2011»

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

12 years 11 months ago

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

Download mally.stanford.edu

Paul E. Oppenheimer, Edward N. Zalta

claim paper

Read More »

32

SAC
2004
ACM

102views Applied Computing» more SAC 2004»

Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis

14 years 2 months ago

Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis

Download soft.vub.ac.be

Software applications often contain implicit knowledge in addition to functionality which is inherently object-oriented. Many approaches and systems exist that focus on separating...

Maja D'Hondt, Kris Gybels, Viviane Jonckers

claim paper

Read More »

« Prev « First page 39 / 416 Last » Next »