3926 search results - page 116 / 786 » A Logic of Object-Oriented Programs |
162
click to vote
IJCAI
2007
15 years 6 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
150
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
We show how to deploy the CIFF System 4.0 for abductive logic programming with constraints in a number of applications, ranging from combinatorial applications to web management. W...
133
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
131
click to vote
IWPC
2006
IEEE
15 years 11 months ago
2006
IEEE
The use of modern programming paradigms and technologies, such as object orientation, inheritance, polymorphism and aspect orientation, facilitate a number of important software e...
153
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...