Discipline
Résultats 1-20 de 296
-
A Broad-Spectrum Computational Approach for Market Efficiency
Advances in Artificial Economics (AE'2006), undef, 2006, Lecture notes in economics and mathematical systems, Advances in Artificial Economics (AE'2006), Springer, 2006Communication dans un congrès avec actes -
A Certified Procedure for RL Verification
SYNASC 2017 : 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 21-09-2017, IEEE CPS (to appear), 2017Communication dans un congrès avec actestexte intégral -
A conceptual framework for the evaluation of agent-based trading and technical analysis
AE'2007 -- Palermo (Italy) -- September 14-15, 2007, 2007, Artificial Markets Modeling (AE'2007), 2007Communication dans un congrès avec actes -
A diff-Based Merging Operator
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Sidney, 13-09-2008, Techical Report: UNSW-CSE-TR-0819, Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), University of New South Wales, School of Computer Science and Engineering, 2008Communication dans un congrès avec actes -
A formal framework for inter-agents dialogue to reach an agreement about a representation
Proceedings of the Workshop on Formal Ontologies for Communicating Agents (FOCA'2006), undef, 2006, Proceedings of the Workshop on Formal Ontologies for Communicating Agents (FOCA'2006), 2006Communication dans un congrès avec actes -
A Framework for Cooperation in Hierarchical Multi-Agent Systems
Journal of Mathematical Modelling and Scientific Computing, 1998, 8, --Compte-rendu et recension critique d'ouvrage -
A Framework for Cooperation in Hierarchical Multi-agents systems
Proceedings of the eleventh International Conference on Mathematical and Computer Modelling and Scientific Computing (ICMCM and SC), undef, 1997, Proceedings of the eleventh International Conference on Mathematical and Computer Modelling and Scientific Computing (ICMCM and SC), 1997Communication dans un congrès avec actes -
A Generic Architecture for Realistic Simulations of Complex Financial Dynamics
Advances in Practical Applications of Agents and Multiagent Systems, 8th International conference on Practical Applications of Agents and Multi-Agents Systems (PAAMS'2010), undef, 2010, Advances in Intelligent and Soft Computing, Advances in Practical Applications of Agents and Multiagent Systems, 8th International conference on Practical Applications of Agents and Multi-Agents Systems (PAAMS'2010), Springer, 2010Communication dans un congrès avec actes -
A Generic Framework for Symbolic Execution: a Coinductive Approach
Journal of Symbolic Computation, Elsevier, 2017, 80, 125-163Compte-rendu et recension critique d'ouvragetexte intégral -
A generic model for contract negotiation
Proceedings of the Artificial Intelligence and the Simulation of Behaviour symposium on Intelligent Agents in Virtual Markets (AISB'02), undef, 2002, Proceedings of the Artificial Intelligence and the Simulation of Behaviour symposium on Intelligent Agents in Virtual Markets (AISB'02), 2002Communication dans un congrès avec actes -
A Generic Negotiation Model for MAS using XML
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics workshop on Agent-based Systems for Autonomous Processing (ABA@SMC2003), undef, 2003, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics workshop on Agent-based Systems for Autonomous Processing (ABA@SMC2003), IEEE Press, 2003Communication dans un congrès avec actes -
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Porto, 07-10-2019, Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, 20-10-2019Communication dans un congrès avec actestexte intégral -
A Hybrid Architecture for Hierarchical Agents
Proceedings of the 1997 International Conference on Computationnal Intelligence and Multimedia Applications (ICCIMA'97), undef, 1997, Proceedings of the 1997 International Conference on Computationnal Intelligence and Multimedia Applications (ICCIMA'97), Watson Ferguson and Co, 1997Communication dans un congrès avec actes -
A Kind of Achievement by part Method
Proceedings of 1994 International Conference on Logic Programming and Automated Reasoning (LPAR'94), undef, 1994, Lecture Notes in Artificial Intelligence, Proceedings of 1994 International Conference on Logic Programming and Automated Reasoning (LPAR'94), Springer, 1994Communication dans un congrès avec actes -
A kind of Logical Compilation for knowledge bases
Theoretical Computer Science, Elsevier, 1994, 131, 197--218Compte-rendu et recension critique d'ouvrage -
A Language-Independent Proof System for Full Program Equivalence
Formal Aspects of Computing, Springer Verlag, 2016, 28; 3, 469--497Compte-rendu et recension critique d'ouvragetexte intégral -
A Linear Type System for Lp -Metric Sensitivity Analysis
21-03-2024Pré-publication ou Document de travailtexte intégral -
A Linear Type System for Lp-Metric Sensitivity Analysis
Formal Structures for Computation and Deduction (FSCD), Tallinn, 10-07-2024, LIPIcs, Leibniz International Proceedings in Informatics (LIPIcs), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 05-07-2024Communication dans un congrès avec actestexte intégral -
A Motivation-Based Mechanism to Design Behaviors
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'2010), 2010Communication dans un congrès avec actes -
A Multi-Agent Approach to Co-operative Work
Proceedings of 4th International Conference on Computer-Aided Design of User Interfaces (CADUI'02), undef, 2002, Proceedings of 4th International Conference on Computer-Aided Design of User Interfaces (CADUI'02), Kluwer Academics Press, 2002Communication dans un congrès avec actes