


Остановите войну!
for scientists:


default search action
21st ECAI 2014: Prague, Czech Republic
- Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan:
ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014). Frontiers in Artificial Intelligence and Applications 263, IOS Press 2014, ISBN 978-1-61499-418-3 - Ozgur Akgun
, Ian P. Gent, Christopher Jefferson
, Ian Miguel
, Peter Nightingale
:
Breaking Conditional Symmetry in Automated Constraint Modelling with CONJURE. 3-8 - Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi:
Decidable Model-Checking for a Resource Logic with Production of Resources. 9-14 - Manuel Atencia, Jérôme David, Jérôme Euzenat:
Data interlinking through robust linkkey extraction. 15-20 - Maduka Attamah, Hans van Ditmarsch, Davide Grossi
, Wiebe van der Hoek:
Knowledge and Gossip. 21-26 - Tim Baarslag
, Alexander Dirkzwager, Koen V. Hindriks
, Catholijn M. Jonker:
The Significance of Bidding, Accepting and Opponent Modeling in Automated Negotiation. 27-32 - Christer Bäckström:
Parameterising the Complexity of Planning by the Number of Paths in the Domain-transition Graphs. 33-38 - Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher:
Extending Acyclicity Notions for Existential Rules. 39-44 - Samuel Barrett, Noa Agmon, Noam Hazon
, Sarit Kraus, Peter Stone:
Communicating with Unknown Teammates. 45-50 - Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Symmetry-Driven Decision Diagrams for Knowledge Compilation. 51-56 - Emanuele Bastianelli, Giuseppe Castellucci, Danilo Croce
, Roberto Basili
, Daniele Nardi
:
Effective and Robust Natural Language Understanding for Human-Robot Interaction. 57-62 - Ringo Baumann:
Context-free and Context-sensitive Kernels: Update and Deletion Equivalence in abstract Argumentation. 63-68 - Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. 69-74 - Dorothea Baumeister, Sylvain Bouveret, Jérôme Lang, Nhan-Tam Nguyen, Trung Thanh Nguyen, Jörg Rothe:
Scoring Rules for the Allocation of Indivisible Goods. 75-80 - Francesco Belardinelli
:
Model Checking Auctions as Artifact Systems: Decidability via Finite Abstraction. 81-86 - Nawal Benabbou
, Patrice Perny, Paolo Viappiani
:
Incremental Elicitation of Choquet Capacities for Multicriteria Decision Making. 87-92 - Christoph Benzmüller
, Bruno Woltzenlogel Paleo:
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers. 93-98 - Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar
, Younes Mechqrane, El-Houssine Bouyakhf:
Boosting Constraint Acquisition via Generalization Queries. 99-104 - Daan Bloembergen, Bijan Ranjbar Sahraei
, Haitham Bou-Ammar, Karl Tuyls
, Gerhard Weiss:
Influencing Social Networks: An Optimal Control Study. 105-110 - Bart Bogaerts
, Joost Vennekens, Marc Denecker, Jan Van den Bussche
:
Inference in the FO(C) Modelling Language. 111-116 - Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
:
Abduction and Dialogical Proof in Argumentation and Logic Programming. 117-122 - Richard Booth, Eduardo L. Fermé
, Sébastien Konieczny
, Ramón Pino Pérez:
Credibility-Limited Improvement Operators. 123-128 - Stefano Borgo
:
'Being a Manifold' as the Topological Primitive of Mereotopology. 129-134 - Myriam Bounhas, Henri Prade, Gilles Richard:
Analogical classification: A new way to deal with examples. 135-140 - Sylvain Bouveret, Jérôme Lang:
Manipulating picking sequences. 141-146 - Ronen I. Brafman
, Guy Shani
:
On The Properties of Belief Tracking for Online Contingent Planning using Regression. 147-152 - Gerhard Brewka, Stefan Woltran:
GRAPPA: A Semantical Framework for Graph-Based Argument Processing. 153-158 - Gerhard Brewka, Stefan Ellmauthaler
, Jörg Pührer:
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. 159-164 - Rémi Brochenin, Yuliya Lierler, Marco Maratea:
Abstract Disjunctive Answer Set Solvers. 165-170 - Jennifer Elisabeth Buehler, Maurice Pagnucco
:
Planning and Execution of Robot Tasks Based on a Platform-Independent Model of Robot Capabilities. 171-176 - Nils Bulling, Wojciech Jamroga
, Matei Popovici:
ATL* With Truly Perfect Recall: Expressivity and Validities. 177-182 - Olivier Cailloux, Ulle Endriss:
Eliciting a Suitable Voting Rule via Examples. 183-188 - Federico Campeotto, Agostino Dovier
, Ferdinando Fioretto
, Enrico Pontelli
:
A GPU Implementation of Large Neighborhood Search for Solving Constraint Optimization Problems. 189-194 - Timothy Joseph Cerexhe, David Rajaratnam
, Abdallah Saffidine, Michael Thielscher:
A Systematic Solution to the (De-)Composition Problem in General Game Playing. 195-200 - Jirí Cermák, Branislav Bosanský, Viliam Lisý
:
Practical Performance of Refinements of Nash Equilibria in Extensive-Form Zero-Sum Games. 201-206 - Federico Cerutti
, Nava Tintarev, Nir Oren:
Formal Arguments, Preferences, and Natural Language Interfaces to Humans: an Empirical Evaluation. 207-212 - Víctor Codocedo, Amedeo Napoli:
Lattice-based biclustering using Partition Pattern Structures. 213-218 - Marco Console, Maurizio Lenzerini
:
Reducing global consistency to local consistency in Ontology-based Data Access. 219-224 - Marco Correia
, Jorge Cruz
, João Leite
:
On the Efficient Implementation of Social Abstract Argumentation. 225-230 - Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran:
Belief merging within fragments of propositional logic. 231-236 - Matthew Crosby, Anders Jonsson
, Michael Rovatsos:
A Single-Agent Approach to Multiagent Planning. 237-242 - Joaquín Derrac, Steven Schockaert
:
Characterising Semantic Relatedness using Interpretable Directions in Conceptual Spaces. 243-248 - Felix Distel, Jamal Atif, Isabelle Bloch:
Concept Dissimilarity Based on Tree Edit Distances and Morphological Dilations. 249-254 - Changying Du, Jia He, Fuzhen Zhuang, Yuan Qi, Qing He:
Nonparametric Bayesian Multi-Task Large-margin Classification. 255-260 - Didier Dubois, Henri Prade, Steven Schockaert
:
Reasoning about Uncertainty and Explicit Ignorance in Generalized Possibilistic Logic. 261-266 - Phan Minh Dung:
An Axiomatic Analysis of Structured Argumentation for Prioritized Default Reasoning. 267-272 - Malcolm Egan, Michal Jakob:
A Profit-Aware Negotiation Mechanism for On-Demand Transport Services. 273-278 - Elias Egho, Chedy Raïssi, Nicolas Jay
, Amedeo Napoli:
Mining Heterogeneous Multidimensional Sequential Patterns. 279-284 - Thomas Eiter, Michael Fink, Daria Stepanova:
Towards Practical Deletion Repair of Inconsistent DL-programs. 285-290 - Ulle Endriss, Umberto Grandi:
Collective Rationality in Graph Aggregation. 291-296 - Jean-Guillaume Fages, Xavier Lorca
, Thierry Petit:
Self-decomposable Global Constraints. 297-302 - Zhiwen Fang, Chu-Min Li, Kan Qiao, Xu Feng, Ke Xu:
Solving Maximum Weight Clique Using Maximum Satisfiability Reasoning. 303-308 - S. Shaheen Fatima
, Michael J. Wooldridge:
Multilateral Bargaining for Resource Division. 309-314 - S. Shaheen Fatima
, Tomasz P. Michalak
, Michael J. Wooldridge:
Bargaining for Coalition Structure Formation. 315-320 - Zohar Feldman, Carmel Domshlak:
Monte-Carlo Tree Search: To MC or to DP? 321-326 - Frédéric Flouvat, Jérémy Sanhes, Claude Pasquier, Nazha Selmaoui-Folcher
, Jean-François Boulicaut:
Improving pattern discovery relevancy by deriving constraints from expert models. 327-332 - Yang Gao, Francesca Toni:
Argumentation Accelerated Reinforcement Learning for Cooperative Multi-Agent Systems. 333-338 - Cristina Gârbacea, Manos Tsagkias, Maarten de Rijke
:
Detecting the Reputation Polarity of Microblog Posts. 339-344 - William Gatens, Boris Konev, Frank Wolter:
Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. 345-350 - Martin Gebser, Tomi Janhunen, Jussi Rintanen
:
Answer Set Programming as SAT modulo Acyclicity. 351-356 - Florian Geißer, Thomas Keller
, Robert Mattmüller:
Past, Present, and Future: An Optimal Online Algorithm for Single-Player GDL-II Games. 357-362 - Gen Yang, Sébastien Destercke
, Marie-Hélène Masson:
Nested Dichotomies with probability sets for multi-class classification. 363-368 - Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi
, Stavros Vassos
:
LTL Verification of Online Executions with Sensing in Bounded Situation Calculus. 369-374 - Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Evolving Multi-Context Systems. 375-380 - Mehmet Gönen
:
Embedding Heterogeneous Data by Preserving Multiple Kernels. 381-386 - Mehmet Gönen
, Gülefsan Bozkurt Gönen, Fikret S. Gürgen:
Bayesian Multiview Dimensionality Reduction for Learning Predictive Subspaces. 387-392 - Laurent Gourvès, Jérôme Monnot, Lydia Tlilane:
Near Fairness in Matroids. 393-398 - Guido Governatori
, Francesco Olivieri
, Simone Scannapieco
, Antonino Rotolo, Matteo Cristani:
Strategic Argumentation is NP-Complete. 399-404 - Alban Grastien:
Diagnosis of Hybrid Systems with SMT: Opportunities and Challenges. 405-410 - Jiong Guo, Yash Raj Shrestha:
Controlling Two-Stage Voting Rules. 411-416 - Galit Haim, Ya'akov (Kobi) Gal
, Sarit Kraus, Bo An:
Human-Computer Negotiation in Three-Player Market Settings. 417-422 - Vahid Hashemi
, Ulle Endriss:
Measuring Diversity of Preferences in a Group. 423-428 - Fredrik Heintz, Daniel de Leng:
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information. 429-434 - Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
:
On the revision of planning tasks. 435-440 - Jörg Hoffmann, Peter Kissmann, Álvaro Torralba
:
"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. 441-446 - Daniel Höller, Gregor Behnke
, Pascal Bercher
, Susanne Biundo:
Language Classification of Hierarchical Planning Problems. 447-452 - Alexey Ignatiev
, António Morgado
, Vasco M. Manquinho
, Inês Lynce
, João Marques-Silva:
Progression in Maximum Satisfiability. 453-458 - Tatsuya Imai, Alex Fukunaga:
A Practical, Integer-Linear Programming Model for the Delete-Relaxation in Cost-Optimal Planning. 459-464 - Philippe Jégou, Cyril Terrioux:
Combining Restarts, Nogoods and Decompositions for Solving CSPs. 465-470 - Qiu Ji, Zhiqiang Gao, Zhisheng Huang:
Conflict Resolution in Partially Ordered OWL DL Ontologies. 471-476 - Özgür Kafali, Akin Günay, Pinar Yolum:
GOSU: computing GOal SUpport with commitments in multiagent systems. 477-482 - Michal Krajnanský, Jörg Hoffmann, Olivier Buffet, Alan Fern:
Learning Pruning Rules for Heuristic Search Planning. 483-488 - Thomas E. Krak, Linda C. van der Gaag:
Knowledge-based Bias Correction - A Case Study in Veterinary Decision Support. 489-494 - Arne Kreutzmann, Diedrich Wolter:
Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming. 495-500 - Jérôme Lang, Marija Slavkovik
:
How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules? 501-506 - Jae Hee Lee
:
The Complexity of Reasoning with Relative Directions. 507-512 - Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He:
LTLf Satisfiability Checking. 513-518 - Rui Li, Zahra Ahmadi
, Stefan Kramer:
Constrained Latent Dirichlet Allocation for Subgroup Discovery with Topic Rules. 519-524 - Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen H. Muggleton:
Bias reformulation for one-shot function induction. 525-530 - Ye Liu, Liqing Zhang:
Uncorrelated Multilinear Nearest Feature Line Analysis. 531-536 - Ye Liu, Hao Zhang, Qibin Zhao, Liqing Zhang:
Common Spatial-Spectral Boosting Pattern for Brain-Computer Interface. 537-542 - Alessio R. Lomuscio
, Jakub Michaliszyn
:
Decidability of model checking multi-agent systems against a class of EHS specifications. 543-548 - Emiliano Lorini, Guifei Jiang, Laurent Perrussel:
Trust-based belief change. 549-554 - Michel Ludwig, Dirk Walther:
The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs. 555-560 - Thomas Lukasiewicz, Maria Vanina Martinez
, Gerardo I. Simari
:
Probabilistic Preference Logic Networks. 561-566 - Ahmed Mabrouk, Christophe Gonzales, Karine Jabet-Chevalier, Eric Chojnacki:
An Efficient Bayesian Network Structure Learning Algorithm in the Presence of Deterministic Relations. 567-572 - Luís Felipe K. de Macedo, Graçaliz Pereira Dimuro, Marilton S. de Aguiar
, Helder Coelho:
An Evolutionary Spatial Game-based Approach for the Self-regulation of Social Exchanges in MAS. 573-578 - Krzysztof Magiera, Piotr Faliszewski
:
How Hard is Control in Single-Crossing Elections? 579-584 - Michael J. Maher:
Comparing Defeasible Logics. 585-590 - Samhar Mahmoud, Lina Barakat, Simon Miles
, Adel Taweel
, Brendan Delaney
, Michael Luck
:
Information-based Incentivisation when Rewards are Inadequate. 591-596 - Shlomi Maliah, Guy Shani
, Roni Stern
:
Privacy Preserving Landmark Detection. 597-602 - João Marques-Silva, Alexey Ignatiev
, António Morgado
, Vasco M. Manquinho
, Inês Lynce
:
Efficient Autarkies. 603-608 - Pierre Marquis
, Odile Papini, Henri Prade:
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. 609-614 - Diego Marron, Albert Bifet
, Gianmarco De Francisci Morales
:
Random Forests of Very Fast Decision Trees on GPU for Mining Evolving Big Data Streams. 615-620 - Steffen Michels, Arjen Hommersom, Peter J. F. Lucas, Marina Velikova:
Imprecise Probabilistic Horn Clause Logic. 621-626 - Laurent Miclet, Nelly Barbot, Henri Prade:
From analogical proportions in lattices to proportional analogies in formal concepts. 627-632 - Vitaly Mirkis, Carmel Domshlak:
Landmarks in Oversubscription Planning. 633-638 - Gilbert Müller, Ralph Bergmann:
A Cluster-Based Approach to Improve Similarity-Based Retrieval for Process-Oriented Case-Based Reasoning. 639-644 - Mushthofa Mushthofa
, Steven Schockaert
, Martine De Cock
:
A finite-valued solver for disjunctive fuzzy answer set programs. 645-650 - Ramasuri Narayanam, Oskar Skibski
, Hemank Lamba, Tomasz P. Michalak
:
A Shapley Value-based Approach to Determine Gatekeepers in Social Networks with Applications. 651-656 - Nina Narodytska, Toby Walsh:
The Computational Impact of Partial Votes on Strategic Voting. 657-662 - Zeinab Noorian, Mohsen Mohkami, Julita Vassileva
:
How much trust is enough to trust? A market-adaptive trust threshold setting for e-marketplaces. 663-668 - Ingrid Nunes
, Simon Miles
, Michael Luck
, Simone Diniz Junqueira Barbosa
, Carlos José Pereira de Lucena:
Pattern-based Explanation for Automated Decisions. 669-674 - Umut Oztok, Adnan Darwiche:
CV-width: A New Complexity Parameter for CNFs. 675-680 - Lin Padgham
, Kai Nagel
, Dhirendra Singh, Qingyu Chen:
Integrating BDI Agents into a MATSim Simulation. 681-686 - Juan José Palacios
, Camino R. Vela
, Inés González Rodríguez, Jorge Puente
:
Schedule Generation Schemes for Job Shop Problems with Fuzziness. 687-692 - Arnoud Pastink, Linda C. van der Gaag:
The Persistence of Most Probable Explanations in Bayesian Networks. 693-698 - Yannick Pencolé:
DITO: a CSP-based diagnostic engine. 699-704 - Tom Pepels, Mandy J. W. Tak, Marc Lanctot, Mark H. M. Winands
:
Quality-based Rewards for Monte-Carlo Tree Search Simulations. 705-710 - Célia da Costa Pereira
, Andrea G. B. Tettamanzi:
Syntactic Possibilistic Goal Generation. 711-716 - Rok Piltaver, Mitja Lustrek, Jernej Zupancic, Saso Dzeroski
, Matjaz Gams:
Multi-objective learning of hybrid classifiers. 717-722 - Daniele Porello
, Nicolas Troquard
:
A resource-sensitive logic of agency. 723-728 - Nico Potyka, Matthias Thimm:
Consolidation of Probabilistic Knowledge Bases by Inconsistency Minimization. 729-734 - Henry Prakken:
On support relations in abstract argumentation as abstractions of inferential relations. 735-740 - Steven D. Prestwich, Marco Laumanns
, Ban Kawas:
Symmetry Breaking for Exact Solutions in Adjustable Robust Optimisation. 741-746 - Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer:
An Agent-Based Model of Procrastination. 747-752 - Wenzhao Qiao, Nico Roos:
An argumentation system for reasoning with LPm. 753-758 - Merel T. Rietbergen, Linda C. van der Gaag, Hans L. Bodlaender
:
Provisional Propagation for Verifying Monotonicity of Bayesian Networks. 759-764