Sciweavers

1588 search results - page 37 / 318
» Modular action language
Sort
View
TOOLS
2008
IEEE
15 years 8 months ago
A Multiparadigm Study of Crosscutting Modularity in Design Patterns
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
Martin Kuhlemann, Sven Apel, Marko Rosenmülle...
115
Voted
LPNMR
2007
Springer
15 years 8 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
HOTOS
2003
IEEE
15 years 7 months ago
Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection
Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of bot...
Emmett Witchel, Krste Asanovic
AI
2011
Springer
14 years 9 months ago
Non-Markovian control in the Situation Calculus
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
Alfredo Gabaldon
117
Voted
IJCAI
1993
15 years 3 months ago
Representing Concurrent Actions in Extended Logic Programming
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
Chitta Baral, Michael Gelfond