Sciweavers

3891 search results - page 12 / 779
» A logic for strategic reasoning
Sort
View
CADE
2010
Springer
13 years 8 months ago
Termination Tools in Ordered Completion
Sarah Winkler, Aart Middeldorp
CADE
2010
Springer
13 years 8 months ago
A Decision Procedure for CTL* Based on Tableaux and Automata
Oliver Friedmann, Markus Latte, Martin Lange
IFIP
2010
Springer
13 years 2 months ago
Reasoning about Skills and Competencies
Human Resources Management (HRM) is the strategic management of the employees, who individually and collectively contribute to the achievement of the strategic goals of an organiza...
Maryam Fazel-Zarandi, Mark S. Fox
CADE
1998
Springer
13 years 11 months ago
Combining Hilbert Style and Semantic Reasoning in a Resolution Framework
Proceedings of CADE-15, LNAI 1421, pp. 205
Hans Jürgen Ohlbach
ICMAS
1998
13 years 9 months ago
An Agent Architecture for Dynamic Re-Design of Agents
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
Frances M. T. Brazier, Catholijn M. Jonker, Jan Tr...