The book presents 14 revised full technical papers, 4 contest papers, and 7 invited papers together with 1 invited article ...
Lire la suiteThe concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
Lire la suiteThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Lire la suiteConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lire la suiteConceptual structures focus on the representation and analysis of concepts, events, actions and objects with applications ...
Lire la suiteConditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in ...
Lire la suiteThis book of legal philosophy contends that positive law is better understood if it is not too easily equated with power, ...
Lire la suiteConstraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can ...
Lire la suiteThe present book includes papers from a wide range of topics. In the contributions to creativity research, Gruber proposes ...
Lire la suiteThis book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Lire la suiteThis book constitutes the thoroughly refereed postproceedings of the 10th International Workshop on DNA Based Computers, ...
Lire la suiteThis groundbreaking, book analyses and compares data practices across several fields through the analysis of specific cases ...
Lire la suiteThe book starts with an introduction on the use of data science technologies in economics and finance and is followed by ...
Lire la suiteThe second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New ...
Lire la suiteThe workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Lire la suiteThis volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...
Lire la suiteThis volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Lire la suite