Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
975
search results - page 41 / 195
»
Declarative Aspect-Oriented Programming
Sort
relevance
views
votes
recent
update
View
thumb
title
146
click to vote
LPE
2001
104
views
Logical Reasoning
»
more
LPE 2001
»
An Integrated Development Environment for Declarative Multi-Paradigm Programming
15 years 7 months ago
Download
www.informatik.uni-kiel.de
Michael Hanus, Johannes Koj
claim paper
Read More »
133
click to vote
ATAL
2010
Springer
152
views
Intelligent Agents
»
more
ATAL 2010
»
Rational agents: prioritized goals, goal dynamics, and agent programming languages with declarative goals
15 years 7 months ago
Download
www.cse.yorku.ca
Shakil M. Khan
claim paper
Read More »
113
click to vote
BMCBI
2005
74
views
more
BMCBI 2005
»
Versatile and declarative dynamic programming using pair algebras
15 years 5 months ago
Download
www.techfak.uni-bielefeld.de
Peter Steffen, Robert Giegerich
claim paper
Read More »
120
click to vote
AMAI
2002
Springer
78
views
Artificial Intelligence
»
more
AMAI 2002
»
Paraconsistent Declarative Semantics for Extended Logic Programs
15 years 5 months ago
Download
www.cs.kuleuven.ac.be
Ofer Arieli
claim paper
Read More »
109
click to vote
CORR
2000
Springer
63
views
Education
»
more
CORR 2000
»
Verifying Termination and Error-Freedom of Logic Programs with block Declarations
15 years 5 months ago
Download
eprints.whiterose.ac.uk
Jan-Georg Smaus, Patricia M. Hill, Andy King
claim paper
Read More »
« Prev
« First
page 41 / 195
Last »
Next »
