Sciweavers

2661 search results - page 364 / 533
» A Semantics for Abstraction
Sort
View
197
Voted
AGENTCL
2003
Springer
16 years 10 days ago
Proactive Communications in Agent Teamwork
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...
John Yen, Xiaocong Fan, Richard A. Volz
ASP
2003
Springer
16 years 10 days ago
Suitable Graphs for Answer Set Programming
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
Thomas Linke
BIRTHDAY
2003
Springer
16 years 10 days ago
A Formal Basis for Reasoning on Programmable QoS
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari...
CAEPIA
2003
Springer
16 years 10 days ago
Towards Biresiduated Multi-adjoint Logic Programming
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...
Jesús Medina, Manuel Ojeda-Aciego, Agust&ia...
197
Voted
DEXA
2003
Springer
117views Database» more  DEXA 2003»
16 years 10 days ago
A Toolkit and Methodology to Support the Collaborative Development and Reuse of Engineering Models
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
Zdenek Zdráhal, Paul Mulholland, Michael Va...