Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Artificial Intelligence

Authors and titles for January 2014

Total of 202 entries
Showing up to 2000 entries per page: fewer | more | all
[1] arXiv:1401.0104 [pdf, other]
Title: PSO-MISMO Modeling Strategy for Multi-Step-Ahead Time Series Prediction
Yukun Bao, Tao Xiong, Zhongyi Hu
Comments: 14 pages. IEEE Transactions on Cybernetics. 2013
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[2] arXiv:1401.0180 [pdf, other]
Title: Decision Making under Uncertainty: A Quasimetric Approach
Steve N'Guyen (ISIR, LPPA), Clément Moulin-Frier (INRIA Bordeaux - Sud-Ouest, GIPSA-lab), Jacques Droulez (LPPA)
Journal-ref: PLoS ONE 8, 12 (2013) e83411
Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)
[3] arXiv:1401.0245 [pdf, other]
Title: A Review: Expert System for Diagnosis of Myocardial Infarction
S.J Gath, R.V Kulkarni
Comments: 7 pages. arXiv admin note: text overlap with arXiv:1006.4544 by other authors
Subjects: Artificial Intelligence (cs.AI)
[4] arXiv:1401.0802 [pdf, other]
Title: A stochastic model for Case-Based Reasoning
Michael Gr. Voskoglou
Comments: 7 pages, 2 figures
Journal-ref: Journal of Mathematical Modelling and Application, 1(3), 33-39, 2010
Subjects: Artificial Intelligence (cs.AI); Probability (math.PR)
[5] arXiv:1401.1024 [pdf, other]
Title: Solver Scheduling via Answer Set Programming
Holger Hoos, Roland Kaminski, Marius Lindauer, Torsten Schaub
Comments: To appear in Theory and Practice of Logic Programming (TPLP)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[6] arXiv:1401.1061 [pdf, other]
Title: Learning optimization models in the presence of unknown relations
Sicco Verwer, Yingqian Zhang, Qing Chuan Ye
Comments: 37 pages. Working paper
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)
[7] arXiv:1401.1247 [pdf, other]
Title: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference
Mathias Niepert, Guy Van den Broeck
Comments: In Proceedings of the 28th AAAI Conference on Artificial Intelligence
Subjects: Artificial Intelligence (cs.AI)
[8] arXiv:1401.1465 [pdf, other]
Title: Cortical prediction markets
David Balduzzi
Comments: To appear, AAMAS 2014
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Neurons and Cognition (q-bio.NC)
[9] arXiv:1401.1533 [pdf, other]
Title: Proposta di nuovi strumenti per comprendere come funziona la cognizione (Novel tools to understand how cognition works)
Devis Pantano
Comments: In Italian
Subjects: Artificial Intelligence (cs.AI)
[10] arXiv:1401.1669 [pdf, other]
Title: Smart machines and the SP theory of intelligence
J. Gerard Wolff
Comments: arXiv admin note: substantial text overlap with arXiv:1306.3890
Subjects: Artificial Intelligence (cs.AI)
[11] arXiv:1401.2011 [pdf, other]
Title: A logic for reasoning about ambiguity
Joseph Y. Halpern, Willemien Kets
Comments: Some of the material in this paper appeared in preliminary form in "Ambiguous langage and differences of belief" (see arXiv:1203.0699)
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[12] arXiv:1401.2121 [pdf, other]
Title: Emotional Responses in Artificial Agent-Based Systems: Reflexivity and Adaptation in Artificial Life
Carlos Pedro Gonçalves
Subjects: Artificial Intelligence (cs.AI); Adaptation and Self-Organizing Systems (nlin.AO)
[13] arXiv:1401.2153 [pdf, other]
Title: Ontology - Based Dynamic Business Process Customization
V.Karthikeyan, V.J.Vijayalakshmi, P.Jeyakumar
Comments: This paper has been withdrawn by the author due to a crucial sign error
Subjects: Artificial Intelligence (cs.AI)
[14] arXiv:1401.2184 [pdf, other]
Title: Variations on Memetic Algorithms for Graph Coloring Problems
Laurent Moalic (IRTES - SET), Alexandre Gondran (MAIAA)
Comments: 11 pages, 8 figures, 3 tables, 2 algorithms
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Optimization and Control (math.OC)
[15] arXiv:1401.2474 [pdf, other]
Title: Transformation-based Feature Computation for Algorithm Portfolios
Barry Hurley, Serdar Kadioglu, Yuri Malitsky, Barry O'Sullivan
Subjects: Artificial Intelligence (cs.AI)
[16] arXiv:1401.2483 [pdf, other]
Title: Dempster-Shafer Theory for Move Prediction in Start Kicking of The Bicycle Kick of Sepak Takraw Game
Andino Maseleno, Md. Mahmud Hasan
Comments: Middle-East Journal of Scientific Research, Vol. 16, No. 7, 2013. ISSN 1990-9233, pp. 896 - 903
Subjects: Artificial Intelligence (cs.AI)
[17] arXiv:1401.2503 [pdf, other]
Title: Does Restraining End Effect Matter in EMD-Based Modeling Framework for Time Series Prediction? Some Experimental Evidences
Tao Xiong, Yukun Bao, Zhongyi Hu
Comments: 28 pages
Journal-ref: Neurocomputing. 123, 2013: 174-184
Subjects: Artificial Intelligence (cs.AI); Applications (stat.AP)
[18] arXiv:1401.3428 [pdf, other]
Title: A Heuristic Search Approach to Planning with Continuous Resources in Stochastic Domains
Nicolas Meuleau, Emmanuel Benazera, Ronen I. Brafman, Eric A. Hansen, Mausam
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 27-59, 2009
Subjects: Artificial Intelligence (cs.AI)
[19] arXiv:1401.3430 [pdf, other]
Title: A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability
Lucas Bordeaux, Marco Cadoli, Toni Mancini
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 607-629, 2008
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[20] arXiv:1401.3431 [pdf, other]
Title: Compositional Belief Update
James Delgrande, Yi Jin, Francis Jeffry Pelletier
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 757-791, 2008
Subjects: Artificial Intelligence (cs.AI)
[21] arXiv:1401.3432 [pdf, other]
Title: A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for Range Finders in Dynamic Environments
Tinne De Laet, Joris De Schutter, Herman Bruyninckx
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 179-222, 2008
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[22] arXiv:1401.3436 [pdf, other]
Title: Online Planning Algorithms for POMDPs
Stéphane Ross, Joelle Pineau, Sébastien Paquet, Brahim Chaib-draa
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 663-704, 2008
Subjects: Artificial Intelligence (cs.AI)
[23] arXiv:1401.3437 [pdf, other]
Title: Learning Partially Observable Deterministic Action Models
Eyal Amir, Allen Chang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 349-402, 2008
Subjects: Artificial Intelligence (cs.AI)
[24] arXiv:1401.3438 [pdf, other]
Title: The Ultrametric Constraint and its Application to Phylogenetics
Neil C.A. Moore, Patrick Prosser
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 901-938, 2008
Subjects: Artificial Intelligence (cs.AI)
[25] arXiv:1401.3439 [pdf, other]
Title: Interactive Policy Learning through Confidence-Based Autonomy
Sonia Chernova, Manuela Veloso
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 1-25, 2009
Subjects: Artificial Intelligence (cs.AI)
[26] arXiv:1401.3442 [pdf, other]
Title: Asynchronous Forward Bounding for Distributed COPs
Amir Gershman, Amnon Meisels, Roie Zivan
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 61-88, 2009
Subjects: Artificial Intelligence (cs.AI)
[27] arXiv:1401.3443 [pdf, other]
Title: Computational Logic Foundations of KGP Agents
Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 285-348, 2008
Subjects: Artificial Intelligence (cs.AI)
[28] arXiv:1401.3444 [pdf, other]
Title: On the Qualitative Comparison of Decisions Having Positive and Negative Features
Didier Dubois, Hélène Fargier, Jean-François Bonnefon
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 385-417, 2008
Subjects: Artificial Intelligence (cs.AI)
[29] arXiv:1401.3448 [pdf, other]
Title: AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Robert Mateescu, Rina Dechter, Radu Marinescu
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 465-519, 2008
Subjects: Artificial Intelligence (cs.AI)
[30] arXiv:1401.3450 [pdf, other]
Title: Completeness and Performance Of The APO Algorithm
Tal Grinshpoun, Amnon Meisels
Comments: arXiv admin note: substantial text overlap with arXiv:1109.6052 by other authors
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 223-258, 2008
Subjects: Artificial Intelligence (cs.AI)
[31] arXiv:1401.3453 [pdf, other]
Title: The Computational Complexity of Dominance and Consistency in CP-Nets
Judy Goldsmith, Jerome Lang, Miroslaw Truszczyski, Nic Wilson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 403-432, 2008
Subjects: Artificial Intelligence (cs.AI)
[32] arXiv:1401.3455 [pdf, other]
Title: Monte Carlo Sampling Methods for Approximating Interactive POMDPs
Prashant Doshi, Piotr J. Gmytrasiewicz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 297-337, 2009
Subjects: Artificial Intelligence (cs.AI)
[33] arXiv:1401.3458 [pdf, other]
Title: Solving #SAT and Bayesian Inference with Backtracking Search
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 391-442, 2009
Subjects: Artificial Intelligence (cs.AI)
[34] arXiv:1401.3459 [pdf, other]
Title: Generic Preferences over Subsets of Structured Objects
Maxim Binshtok, Ronen I. Brafman, Carmel Domshlak, Solomon Eyal Shimony
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 133-164, 2009
Subjects: Artificial Intelligence (cs.AI)
[35] arXiv:1401.3460 [pdf, other]
Title: Policy Iteration for Decentralized Control of Markov Decision Processes
Daniel S. Bernstein, Christopher Amato, Eric A. Hansen, Shlomo Zilberstein
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 89-132, 2009
Subjects: Artificial Intelligence (cs.AI)
[36] arXiv:1401.3461 [pdf, other]
Title: A Bilinear Programming Approach for Multiagent Planning
Marek Petrik, Shlomo Zilberstein
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 235-274, 2009
Subjects: Artificial Intelligence (cs.AI)
[37] arXiv:1401.3467 [pdf, other]
Title: Planning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard
Omer Giménez, Anders Jonsson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 675-706, 2009
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[38] arXiv:1401.3468 [pdf, other]
Title: Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
Hector Palacios, Hector Geffner
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 623-675, 2009
Subjects: Artificial Intelligence (cs.AI)
[39] arXiv:1401.3469 [pdf, other]
Title: Exploiting Single-Cycle Symmetries in Continuous Constraint Problems
Vicente Ruiz de Angulo, Carme Torras
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 499-520, 2009
Subjects: Artificial Intelligence (cs.AI)
[40] arXiv:1401.3470 [pdf, other]
Title: Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection
Jörg Hoffmann, Piergiorgio Bertoli, Malte Helmert, Marco Pistore
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 49-117, 2009
Subjects: Artificial Intelligence (cs.AI)
[41] arXiv:1401.3471 [pdf, other]
Title: Conservative Inference Rule for Uncertain Reasoning under Incompleteness
Marco Zaffalon, Enrique Miranda
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 757-821, 2009
Subjects: Artificial Intelligence (cs.AI)
[42] arXiv:1401.3474 [pdf, other]
Title: Optimal Value of Information in Graphical Models
Andreas Krause, Carlos Guestrin
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 557-591, 2009
Subjects: Artificial Intelligence (cs.AI)
[43] arXiv:1401.3477 [pdf, other]
Title: Solving Weighted Constraint Satisfaction Problems with Memetic/Exact Hybrid Algorithms
José Enrique Gallardo, Carlos Cotta, Antonio José Fernández
Comments: arXiv admin note: substantial text overlap with arXiv:0812.4170
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 533-555, 2009
Subjects: Artificial Intelligence (cs.AI)
[44] arXiv:1401.3481 [pdf, other]
Title: Bounds Arc Consistency for Weighted CSPs
Matthias Zytnicki, Christine Gaspin, Simon de Givry, Thomas Schiex
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 593-621, 2009
Subjects: Artificial Intelligence (cs.AI)
[45] arXiv:1401.3483 [pdf, other]
Title: Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem
Hai Leong Chieu, Wee Sun Sun Lee
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 229-266, 2009
Subjects: Artificial Intelligence (cs.AI)
[46] arXiv:1401.3486 [pdf, other]
Title: The Role of Macros in Tractable Planning
Anders Jonsson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 471-511, 2009
Subjects: Artificial Intelligence (cs.AI)
[47] arXiv:1401.3489 [pdf, other]
Title: Join-Graph Propagation Algorithms
Robert Mateescu, Kalev Kask, Vibhav Gogate, Rina Dechter
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 279-328, 2010
Subjects: Artificial Intelligence (cs.AI)
[48] arXiv:1401.3490 [pdf, other]
Title: BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm
William Yeoh, Ariel Felner, Sven Koenig
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 85-133, 2010
Subjects: Artificial Intelligence (cs.AI)
[49] arXiv:1401.3491 [pdf, other]
Title: Soft Goals Can Be Compiled Away
Emil Keyder, Hector Geffner
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 547-556, 2009
Subjects: Artificial Intelligence (cs.AI)
[50] arXiv:1401.3492 [pdf, other]
Title: ParamILS: An Automatic Algorithm Configuration Framework
Frank Hutter, Thomas Stuetzle, Kevin Leyton-Brown, Holger H. Hoos
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 267-306, 2009
Subjects: Artificial Intelligence (cs.AI)
[51] arXiv:1401.3493 [pdf, other]
Title: Predicting the Performance of IDA* using Conditional Distributions
Uzi Zahavi, Ariel Felner, Neil Burch, Robert C. Holte
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 41-83, 2010
Subjects: Artificial Intelligence (cs.AI)
[52] arXiv:1401.3626 [pdf, other]
Title: Modeling Concept Combinations in a Quantum-theoretic Framework
Diederik Aerts, Sandro Sozzo
Comments: 5 pages. arXiv admin note: substantial text overlap with arXiv:1311.6050
Journal-ref: Advances in Cognitive Neurodynamics (IV), pp 393-399, 2014
Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)
[53] arXiv:1401.3825 [pdf, other]
Title: Reasoning About the Transfer of Control
Wiebe van der Hoek, Dirk Walther, Michael Wooldridge
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 437-477, 2010
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[54] arXiv:1401.3827 [pdf, other]
Title: Efficient Planning under Uncertainty with Macro-actions
Ruijie He, Emma Brunskill, Nicholas Roy
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 523-570, 2011
Subjects: Artificial Intelligence (cs.AI)
[55] arXiv:1401.3830 [pdf, other]
Title: Interactive Cost Configuration Over Decision Diagrams
Henrik Reif Andersen, Tarik Hadzic, David Pisinger
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 99-139, 2010
Subjects: Artificial Intelligence (cs.AI)
[56] arXiv:1401.3831 [pdf, other]
Title: An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Raghav Aras, Alain Dutech
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 329-396, 2010
Subjects: Artificial Intelligence (cs.AI)
[57] arXiv:1401.3833 [pdf, other]
Title: Active Tuples-based Scheme for Bounding Posterior Beliefs
Bozhena Bidyuk, Rina Dechter, Emma Rollon
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 335-371, 2010
Subjects: Artificial Intelligence (cs.AI)
[58] arXiv:1401.3835 [pdf, other]
Title: On Action Theory Change
Ivan José Varzinczak
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 189-246, 2010
Subjects: Artificial Intelligence (cs.AI)
[59] arXiv:1401.3838 [pdf, other]
Title: Change in Abstract Argumentation Frameworks: Adding an Argument
Claudette Cayrol, Florence Dupin de Saint-Cyr, Marie-Christine Lagasquie-Schiex
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 49-84, 2010
Subjects: Artificial Intelligence (cs.AI)
[60] arXiv:1401.3839 [pdf, other]
Title: The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks
Silvia Richter, Matthias Westphal
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 127-177, 2010
Subjects: Artificial Intelligence (cs.AI)
[61] arXiv:1401.3841 [pdf, other]
Title: Narrative Planning: Balancing Plot and Character
Mark Owen Riedl, Robert Michael Young
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 217-268, 2010
Subjects: Artificial Intelligence (cs.AI)
[62] arXiv:1401.3842 [pdf, other]
Title: Developing Approaches for Solving a Telecommunications Feature Subscription Problem
David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 271-305, 2010
Subjects: Artificial Intelligence (cs.AI)
[63] arXiv:1401.3846 [pdf, other]
Title: Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Graeme Gange, Peter James Stuckey, Vitaly Lagoon
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 307-338, 2010
Subjects: Artificial Intelligence (cs.AI)
[64] arXiv:1401.3847 [pdf, other]
Title: Automatic Induction of Bellman-Error Features for Probabilistic Planning
Jia-Hong Wu, Robert Givan
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 687-755, 2010
Subjects: Artificial Intelligence (cs.AI)
[65] arXiv:1401.3848 [pdf, other]
Title: Approximate Model-Based Diagnosis Using Greedy Stochastic Search
Alexander Feldman, Gregory Provan, Arjan van Gemund
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 371-413, 2010
Subjects: Artificial Intelligence (cs.AI)
[66] arXiv:1401.3850 [pdf, other]
Title: A Model-Based Active Testing Approach to Sequential Diagnosis
Alexander Feldman, Gregory Provan, Arjan van Gemund
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 301-334, 2010
Subjects: Artificial Intelligence (cs.AI)
[67] arXiv:1401.3851 [pdf, other]
Title: Intrusion Detection using Continuous Time Bayesian Networks
Jing Xu, Christian R. Shelton
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 745-774, 2010
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)
[68] arXiv:1401.3853 [pdf, other]
Title: Implicit Abstraction Heuristics
Michael Katz, Carmel Domshlak
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 51-126, 2010
Subjects: Artificial Intelligence (cs.AI)
[69] arXiv:1401.3854 [pdf, other]
Title: A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
Bonny Banerjee, B. Chandrasekaran
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 373-427, 2010
Subjects: Artificial Intelligence (cs.AI)
[70] arXiv:1401.3857 [pdf, other]
Title: Case-Based Subgoaling in Real-Time Heuristic Search for Video Game Pathfinding
Vadim Bulitko, Yngvi Björnsson, Ramon Lawrence
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 269-300, 2010
Subjects: Artificial Intelligence (cs.AI)
[71] arXiv:1401.3859 [pdf, other]
Title: A Utility-Theoretic Approach to Privacy in Online Services
Andreas Krause, Eric Horvitz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 633-662, 2010
Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[72] arXiv:1401.3860 [pdf, other]
Title: Planning with Noisy Probabilistic Relational Rules
Tobias Lang, Marc Toussaint
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 1-49, 2010
Subjects: Artificial Intelligence (cs.AI)
[73] arXiv:1401.3861 [pdf, other]
Title: Best-First Heuristic Search for Multicore Machines
Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 689-743, 2010
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)
[74] arXiv:1401.3863 [pdf, other]
Title: An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem
Gerold Jäger, Weixiong Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 663-687, 2010
Subjects: Artificial Intelligence (cs.AI)
[75] arXiv:1401.3866 [pdf, other]
Title: Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
Christian Geist, Ulle Endriss
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 143-174, 2011
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)
[76] arXiv:1401.3867 [pdf, other]
Title: Iterated Belief Change Due to Actions and Observations
Aaron Hunter, James P. Delgrande
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 269-304, 2011
Subjects: Artificial Intelligence (cs.AI)
[77] arXiv:1401.3871 [pdf, other]
Title: Non-Deterministic Policies in Markovian Decision Processes
Mahdi Milani Fard, Joelle Pineau
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 1-24, 2011
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[78] arXiv:1401.3872 [pdf, other]
Title: Second-Order Consistencies
Christophe Lecoutre, Stephane Cardon, Julien Vion
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 175-219, 2011
Subjects: Artificial Intelligence (cs.AI)
[79] arXiv:1401.3875 [pdf, other]
Title: On-line Planning and Scheduling: An Application to Controlling Modular Printers
Wheeler Ruml, Minh Binh Do, Rong Zhou, Markus P.J. Fromherz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 415-468, 2011
Subjects: Artificial Intelligence (cs.AI)
[80] arXiv:1401.3879 [pdf, other]
Title: Soft Constraints of Difference and Equality
Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 97-130, 2011
Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)
[81] arXiv:1401.3881 [pdf, other]
Title: Value of Information Lattice: Exploiting Probabilistic Independence for Effective Feature Subset Acquisition
Mustafa Bilgic, Lise Getoor
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 69-95, 2011
Subjects: Artificial Intelligence (cs.AI)
[82] arXiv:1401.3882 [pdf, other]
Title: Probabilistic Relational Planning with First Order Decision Diagrams
Saket Joshi, Roni Khardon
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 231-266, 2011
Subjects: Artificial Intelligence (cs.AI)
[83] arXiv:1401.3885 [pdf, other]
Title: Scaling up Heuristic Planning with Relational Decision Trees
Tomas De la Rosa, Sergio Jimenez, Raquel Fuentetaja, Daniel Borrajo
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 767-813, 2011
Subjects: Artificial Intelligence (cs.AI)
[84] arXiv:1401.3886 [pdf, other]
Title: Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Wei Li, Pascal Poupart, Peter van Beek
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 729-765, 2011
Subjects: Artificial Intelligence (cs.AI)
[85] arXiv:1401.3887 [pdf, other]
Title: The Complexity of Integer Bound Propagation
Lucas Bordeaux, George Katsirelos, Nina Narodytska, Moshe Y. Vardi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 657-676, 2011
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[86] arXiv:1401.3890 [pdf, other]
Title: Analyzing Search Topology Without Running Any Search: On the Connection Between Causal Graphs and h+
Joerg Hoffmann
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 155-229, 2011
Subjects: Artificial Intelligence (cs.AI)
[87] arXiv:1401.3892 [pdf, other]
Title: Sequential Diagnosis by Abstraction
Sajjad Ahmed Siddiqi, Jinbo Huang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 329-365, 2011
Subjects: Artificial Intelligence (cs.AI)
[88] arXiv:1401.3893 [pdf, other]
Title: Most Relevant Explanation in Bayesian Networks
Changhe Yuan, Heejin Lim, Tsai-Ching Lu
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 309-352, 2011
Subjects: Artificial Intelligence (cs.AI)
[89] arXiv:1401.3895 [pdf, other]
Title: On the Intertranslatability of Argumentation Semantics
Wolfgang Dvorak, Stefan Woltran
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 445-475, 2011
Subjects: Artificial Intelligence (cs.AI)
[90] arXiv:1401.3899 [pdf, other]
Title: Representing and Reasoning with Qualitative Preferences for Compositional Systems
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 211-274, 2011
Subjects: Artificial Intelligence (cs.AI)
[91] arXiv:1401.3902 [pdf, other]
Title: On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 31-53, 2011
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[92] arXiv:1401.3905 [pdf, other]
Title: MAPP: a Scalable Multi-Agent Path Planning Algorithm with Tractability and Completeness Guarantees
Ko-Hsin Cindy Wang, Adi Botea
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 55-90, 2011
Subjects: Artificial Intelligence (cs.AI)
[93] arXiv:1401.3906 [pdf, other]
Title: Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration
Peter D Grunwald, Joseph Y Halpern
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 393-426, 2011
Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)
[94] arXiv:1401.3909 [pdf, other]
Title: Scheduling Bipartite Tournaments to Minimize Total Travel Distance
Richard Hoshino, Ken-ichi Kawarabayashi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 91-124, 2011
Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)
[95] arXiv:1401.3910 [pdf, other]
Title: Topological Value Iteration Algorithms
Peng Dai, Mausam, Daniel Sabby Weld, Judy Goldsmith
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 181-209, 2011
Subjects: Artificial Intelligence (cs.AI)
[96] arXiv:1401.4144 [pdf, other]
Title: Arguments using ontological and causal knowledge
Philippe Besnard (INRIA - IRISA, IRIT), Marie-Odile Cordier (INRIA - IRISA, UR1), Yves Moinard (INRIA - IRISA)
Journal-ref: JIAF 2013 (Septi\`emes Journ\'ees de l'Intelligence Artificielle Fondamentale) (2013) 41-48
Subjects: Artificial Intelligence (cs.AI)
[97] arXiv:1401.4539 [pdf, other]
Title: Solving the Minimum Common String Partition Problem with the Help of Ants
S.M. Ferdous, M. Sohel Rahman
Subjects: Artificial Intelligence (cs.AI)
[98] arXiv:1401.4590 [pdf, other]
Title: Combining Evaluation Metrics via the Unanimous Improvement Ratio and its Application to Clustering Tasks
Enrique Amigó, Julio Gonzalo, Javier Artiles, Felisa Verdejo
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 689-718, 2011
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[99] arXiv:1401.4592 [pdf, other]
Title: Proximity-Based Non-uniform Abstractions for Approximate Planning
Jiri Baum, Ann E. Nicholson, Trevor I. Dix
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 477-522, 2012
Subjects: Artificial Intelligence (cs.AI)
[100] arXiv:1401.4595 [pdf, other]
Title: Robust Local Search for Solving RCPSP/max with Durational Uncertainty
Na Fu, Hoong Chuin Lau, Pradeep R. Varakantham, Fei Xiao
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 43-86, 2012
Subjects: Artificial Intelligence (cs.AI)
[101] arXiv:1401.4597 [pdf, other]
Title: Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
Matthew L. Ginsberg
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 851-886, 2011
Subjects: Artificial Intelligence (cs.AI)
[102] arXiv:1401.4598 [pdf, other]
Title: SAS+ Planning as Satisfiability
Ruoyun Huang, Yixin Chen, Weixiong Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 293-328, 2012
Subjects: Artificial Intelligence (cs.AI)
[103] arXiv:1401.4600 [pdf, other]
Title: Exploiting Model Equivalences for Solving Interactive Dynamic Influence Diagrams
Yifeng Zeng, Prashant Doshi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 211-255, 2012
Subjects: Artificial Intelligence (cs.AI)
[104] arXiv:1401.4601 [pdf, other]
Title: Counting-Based Search: Branching Heuristics for Constraint Satisfaction Problems
Gilles Pesant, Claude-Guy Quimper, Alessandro Zanarini
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 173-210, 2012
Subjects: Artificial Intelligence (cs.AI)
[105] arXiv:1401.4603 [pdf, other]
Title: Semantic Similarity Measures Applied to an Ontology for Human-Like Interaction
Esperanza Albacete, Javier Calle, Elena Castro, Dolores Cuadra
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 397-421, 2012
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[106] arXiv:1401.4604 [pdf, other]
Title: Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 419-476, 2012
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[107] arXiv:1401.4605 [pdf, other]
Title: Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction
J.H.M. Lee, Ka Lun Leung
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 257-292, 2012
Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)
[108] arXiv:1401.4606 [pdf, other]
Title: Drake: An Efficient Executive for Temporal Plans with Choice
Patrick Raymond Conrad, Brian Williams
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 607-659, 2011
Subjects: Artificial Intelligence (cs.AI)
[109] arXiv:1401.4607 [pdf, other]
Title: Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Joohyung Lee, Ravi Palla
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 571-620, 2012
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[110] arXiv:1401.4613 [pdf, other]
Title: Local Consistency and SAT-Solvers
Peter Jeavons, Justyna Petke
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 329-351, 2012
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[111] arXiv:1401.4942 [pdf, other]
Title: Info-computational constructivism in modelling of life as cognition
Gordana Dodig-Crnkovic
Comments: 5 pages, SMLC conference University of Bergamo 12-14.09.2013, this http URL
Subjects: Artificial Intelligence (cs.AI)
[112] arXiv:1401.5031 [pdf, other]
Title: A Scalable Conditional Independence Test for Nonlinear, Non-Gaussian Data
Joseph D. Ramsey
Comments: 4 Figures, 2 Boxes, 1 Table, 15 Pages
Subjects: Artificial Intelligence (cs.AI); Methodology (stat.ME)
[113] arXiv:1401.5156 [pdf, other]
Title: Harmony Search Algorithm for Curriculum-Based Course Timetabling Problem
Juliana Wahid, Naimah Mohd Hussin
Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 365-371, 2013
Subjects: Artificial Intelligence (cs.AI)
[114] arXiv:1401.5157 [pdf, other]
Title: Skill Analysis with Time Series Image Data
Toshiyuki Maeda, Masanori Fujii, Isao Hayashi
Comments: 5 pages, 6 figures
Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 576-580, 2013
Subjects: Artificial Intelligence (cs.AI)
[115] arXiv:1401.5334 [pdf, other]
Title: A Microkernel Architecture for Constraint Programming
Laurent Michel, Pascal Van Hentenryck
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[116] arXiv:1401.5341 [pdf, other]
Title: Domain Views for Constraint Programming
Pascal Van Hentenryck, Laurent Michel
Comments: Workshop: TRICS13: Techniques foR Implementing Constraint programming, September 2013, CP, Uppsala
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[117] arXiv:1401.5424 [pdf, other]
Title: Real Time Strategy Language
Roy Hayes, Peter Beling, William Scherer
Subjects: Artificial Intelligence (cs.AI)
[118] arXiv:1401.5813 [pdf, other]
Title: GGP with Advanced Reasoning and Board Knowledge Discovery
Adrian Łańcucki
Subjects: Artificial Intelligence (cs.AI)
[119] arXiv:1401.5848 [pdf, other]
Title: Algorithms and Limits for Compact Plan Representations
Christer Bäckström, Peter Jonsson
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 141-177, 2012
Subjects: Artificial Intelligence (cs.AI)
[120] arXiv:1401.5852 [pdf, other]
Title: Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures
Priyankar Ghosh, Amit Sharma, P.P. Chakrabarti, Pallab Dasgupta
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 275-333, 2012
Subjects: Artificial Intelligence (cs.AI); Data Structures and Algorithms (cs.DS)
[121] arXiv:1401.5853 [pdf, other]
Title: Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach
Bernardo Cuenca Grau, Boris Motik
Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 197-255, 2012
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[122] arXiv:1401.5854 [pdf, other]
Title: Avoiding and Escaping Depressions in Real-Time Heuristic Search
Carlos Hernández, Jorge A Baier
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 523-570, 2012
Subjects: Artificial Intelligence (cs.AI)
[123] arXiv:1401.5856 [pdf, other]
Title: Narrative Planning: Compilations to Classical Planning
Patrik Haslum
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 383-395, 2012
Subjects: Artificial Intelligence (cs.AI)
[124] arXiv:1401.5857 [pdf, other]
Title: COLIN: Planning with Continuous Linear Numeric Change
Amanda J. Coles, Andrew I. Coles, Maria Fox, Derek Long
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 1-96, 2012
Subjects: Artificial Intelligence (cs.AI)
[125] arXiv:1401.5858 [pdf, other]
Title: SAP Speaks PDDL: Exploiting a Software-Engineering Model for Planning in Business Process Management
Joerg Hoffman, Ingo Weber, Frank Michael Kraft
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 587-632, 2012
Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[126] arXiv:1401.5859 [pdf, other]
Title: Plan-based Policies for Efficient Multiple Battery Load Management
Maria Fox, Derek Long, Daniele Magazzeni
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 335-382, 2012
Subjects: Artificial Intelligence (cs.AI)
[127] arXiv:1401.5860 [pdf, other]
Title: A New Look at BDDs for Pseudo-Boolean Constraints
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodriguez-Carbonell, Valentin Mayer-Eichberger
Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 443-480, 2012
Subjects: Artificial Intelligence (cs.AI)
[128] arXiv:1401.5861 [pdf, other]
Title: Online Speedup Learning for Optimal Planning
Carmel Domshlak, Erez Karpas, Shaul Markovitch
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 709-755, 2012
Subjects: Artificial Intelligence (cs.AI)
[129] arXiv:1401.5869 [pdf, other]
Title: An Enhanced Branch-and-bound Algorithm for the Talent Scheduling Problem
Zizhen Zhang, Hu Qin, Xiaocong Liang, Andrew Lim
Subjects: Artificial Intelligence (cs.AI)
[130] arXiv:1401.6048 [pdf, other]
Title: Replanning in Domains with Partial Information and Sensing Actions
Ronen I. Brafman, Guy Shani
Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 565-600, 2012
Subjects: Artificial Intelligence (cs.AI)
[131] arXiv:1401.6049 [pdf, other]
Title: Generating Approximate Solutions to the TTP using a Linear Distance Relaxation
Richard Hoshino, Ken-ichi Kawarabayashi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 257-286, 2012
Subjects: Artificial Intelligence (cs.AI)
[132] arXiv:1401.6098 [pdf, other]
Title: An adaptive Simulated Annealing-based satellite observation scheduling method combined with a dynamic task clustering strategy
Guohua Wu, Huilin Wang, Haifeng Li, Witold Pedrycz, Dishan Qiu, Manhao Ma, Jin Liu
Comments: 23 pages, 5 figures, 4 tables
Subjects: Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)
[133] arXiv:1401.6679 [pdf, other]
Title: Quality of Geographic Information: Ontological approach and Artificial Intelligence Tools
Robert Jeansoulin, Nic Wilson
Comments: 12 pages, 8th EC-GIS Workshop (European Commission), Dublin, Ireland, July, 3-5, 2002
Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
[134] arXiv:1401.6686 [pdf, other]
Title: Perturbed Message Passing for Constraint Satisfaction Problems
Siamak Ravanbakhsh, Russell Greiner
Journal-ref: JMLR 16(Jul):1249-1274, 2015
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (stat.ML)
[135] arXiv:1401.7249 [pdf, other]
Title: Fuzzy Controller Design for Assisted Omni-Directional Treadmill Therapy
Atif Ali Khan, Oumair Naseer, Daciana Iliescu, Evor Hines
Comments: Presented at: "The International Conference on Soft Computing and Software Engineering (SCSE 2013)" at San Francisco State University at Downtown Campus, in San Francisco, California, USA, March 1-2, 2013
Journal-ref: The International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 30-37, 2013
Subjects: Artificial Intelligence (cs.AI)
[136] arXiv:1401.7463 [pdf, other]
Title: Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation
Pierre Flener, Justin Pearson
Subjects: Artificial Intelligence (cs.AI)
[137] arXiv:1401.7941 [pdf, other]
Title: Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks
Stefano V. Albrecht, Subramanian Ramamoorthy
Comments: 44 pages; final manuscript published in Journal of Artificial Intelligence Research (JAIR)
Subjects: Artificial Intelligence (cs.AI)
[138] arXiv:1401.8175 [pdf, other]
Title: Equilibrium Points of an AND-OR Tree: under Constraints on Probability
Toshio Suzuki, Yoshinao Niida
Comments: 13 pages, 3 figures
Journal-ref: ANN PURE APPL LOGIC 166, pp. 1150--1164 (2015)
Subjects: Artificial Intelligence (cs.AI)
[139] arXiv:1401.0102 (cross-list from cs.DC) [pdf, other]
Title: A DDoS-Aware IDS Model Based on Danger Theory and Mobile Agents
Mahdi Zamani, Mahnush Movahedi, Mohammad Ebadzadeh, Hossein Pedram
Comments: 10 pages, 3 figure
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Multiagent Systems (cs.MA)
[140] arXiv:1401.0166 (cross-list from cs.CV) [pdf, other]
Title: Medical Image Fusion: A survey of the state of the art
A.P. James, B. V. Dasarathy
Comments: Information Fusion, 2014
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Medical Physics (physics.med-ph)
[141] arXiv:1401.0282 (cross-list from cs.MA) [pdf, other]
Title: Design of a GIS-based Assistant Software Agent for the Incident Commander to Coordinate Emergency Response Operations
Reza Nourjou, Michinori Hatayama, Stephen F. Smith, Atabak Sadeghi, Pedro Szekely
Comments: 3 pages, 1 figure, In Workshop on Robots and Sensors integration in future rescue INformation system (ROSIN' 13). In Conjunction of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS' 13), 2013
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)
[142] arXiv:1401.0708 (cross-list from cs.CL) [pdf, other]
Title: Quantitative methods for Phylogenetic Inference in Historical Linguistics: An experimental case study of South Central Dravidian
Taraka Rama, Sudheer Kolachina, Lakshmi Bai B
Journal-ref: Indian Linguistics, Volume 70, 2009
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[143] arXiv:1401.0742 (cross-list from cs.LG) [pdf, other]
Title: Data Smashing
Ishanu Chattopadhyay, Hod Lipson
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Information Theory (cs.IT); Machine Learning (stat.ML)
[144] arXiv:1401.0943 (cross-list from cs.CY) [pdf, other]
Title: LB2CO: A Semantic Ontology Framework for B2C eCommerce Transaction on the Internet
Adeyinka K Akanbi
Comments: 9 Pages, 7 figures, Research Paper
Journal-ref: International Journal of Research in Computer Science, 4 (1): pp. 1-9, January 2014
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)
[145] arXiv:1401.1031 (cross-list from cs.HC) [pdf, other]
Title: Constraint Solvers for User Interface Layout
Noreen Jamil
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)
[146] arXiv:1401.1475 (cross-list from cs.LO) [pdf, other]
Title: Belief Revision in Structured Probabilistic Argumentation
Paulo Shakarian, Gerardo I. Simari, Marcelo A. Falappa
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[147] arXiv:1401.1549 (cross-list from cs.LG) [pdf, other]
Title: Optimal Demand Response Using Device Based Reinforcement Learning
Zheng Wen, Daniel O'Neill, Hamid Reza Maei
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
[148] arXiv:1401.1560 (cross-list from cs.LG) [pdf, other]
Title: Beyond One-Step-Ahead Forecasting: Evaluation of Alternative Multi-Step-Ahead Forecasting Models for Crude Oil Prices
Tao Xiong, Yukun Bao, Zhongyi Hu
Comments: 32 pages
Journal-ref: Energy Economics. 40, 2013: 405-415
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[149] arXiv:1401.1752 (cross-list from cs.HC) [pdf, other]
Title: Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy
Noreen Jamil, Johannes Müller, Christof Lutteroth, Gerald Weber
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Numerical Analysis (math.NA)
[150] arXiv:1401.1926 (cross-list from cs.LG) [pdf, other]
Title: A PSO and Pattern Search based Memetic Algorithm for SVMs Parameters Optimization
Yukun Bao, Zhongyi Hu, Tao Xiong
Comments: 27 pages. Neurocomputing, 2013
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Machine Learning (stat.ML)
[151] arXiv:1401.2482 (cross-list from cs.MM) [pdf, other]
Title: STIMONT: A core ontology for multimedia stimuli description
Marko Horvat, Nikola Bogunović, Krešimir Ćosić
Comments: 27 pages, 13 figures
Journal-ref: Multimedia tools and applications, 11042, July 2013
Subjects: Multimedia (cs.MM); Artificial Intelligence (cs.AI)
[152] arXiv:1401.2657 (cross-list from cs.CY) [pdf, other]
Title: The Missing Ones: Key Ingredients Towards Effective Ambient Assisted Living Systems
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blondia
Journal-ref: Journal of Ambient Intelligence and Smart Environments, Volume 2 Issue 2, April 2010 Pages 109-120 IOS Press Amsterdam, The Netherlands, The Netherlands
Subjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)
[153] arXiv:1401.3426 (cross-list from cs.GT) [pdf, other]
Title: Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes
Yaakov Gal, Avi Pfeffer
Journal-ref: Journal Of Artificial Intelligence Research, Volume 33, pages 109-147, 2008
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[154] arXiv:1401.3427 (cross-list from cs.LG) [pdf, other]
Title: Analogical Dissimilarity: Definition, Algorithms and Two Experiments in Machine Learning
Laurent Miclet, Sabri Bayoudh, Arnaud Delhay
Journal-ref: Journal Of Artificial Intelligence Research, Volume 32, pages 793-824, 2008
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
[155] arXiv:1401.3441 (cross-list from cs.LG) [pdf, other]
Title: Transductive Rademacher Complexity and its Applications
Ran El-Yaniv, Dmitry Pechyony
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 193-234, 2009
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[156] arXiv:1401.3462 (cross-list from cs.RO) [pdf, other]
Title: Efficient Informative Sensing using Multiple Robots
Amarjeet Singh, Andreas Krause, Carlos Guestrin, William J. Kaiser
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 707-755, 2009
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)
[157] arXiv:1401.3463 (cross-list from cs.LO) [pdf, other]
Title: Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
Roberto Sebastiani, Michele Vescovi
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 343-389, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[158] arXiv:1401.3464 (cross-list from cs.NE) [pdf, other]
Title: Learning Bayesian Network Equivalence Classes with Ant Colony Optimization
Rónán Daly, Qiang Shen
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 391-447, 2009
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[159] arXiv:1401.3466 (cross-list from cs.MA) [pdf, other]
Title: An Anytime Algorithm for Optimal Coalition Structure Generation
Talal Rahwan, Sarvapali Dyanand Ramchurn, Nicholas Robert Jennings, Andrea Giovannucci
Journal-ref: Journal Of Artificial Intelligence Research, Volume 34, pages 521-567, 2009
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)
[160] arXiv:1401.3472 (cross-list from cs.LO) [pdf, other]
Title: Variable Forgetting in Reasoning about Knowledge
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 677-716, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[161] arXiv:1401.3475 (cross-list from cs.LO) [pdf, other]
Title: Prime Implicates and Prime Implicants: From Propositional to Modal Logic
Meghyn Bienvenu
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 71-128, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[162] arXiv:1401.3476 (cross-list from cs.LO) [pdf, other]
Title: The Complexity of Circumscription in DLs
Piero A. Bonatti, Carsten Lutz, Frank Wolter
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 717-773, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[163] arXiv:1401.3478 (cross-list from cs.LG) [pdf, other]
Title: Efficient Markov Network Structure Discovery Using Independence Tests
Facundo Bromberg, Dimitris Margaritis, Vasant Honavar
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 449-484, 2009
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[164] arXiv:1401.3482 (cross-list from cs.CL) [pdf, other]
Title: Enhancing QA Systems with Complex Temporal Question Processing Capabilities
Estela Saquete, Jose Luis Vicedo, Patricio Martínez-Barco, Rafael Muñoz, Hector Llorens
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 775-811, 2009
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[165] arXiv:1401.3484 (cross-list from cs.LO) [pdf, other]
Title: Modularity Aspects of Disjunctive Stable Models
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
Journal-ref: Journal Of Artificial Intelligence Research, Volume 35, pages 813-857, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[166] arXiv:1401.3485 (cross-list from cs.LO) [pdf, other]
Title: Hypertableau Reasoning for Description Logics
Boris Motik, Rob Shearer, Ian Horrocks
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 165-228, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[167] arXiv:1401.3487 (cross-list from cs.LO) [pdf, other]
Title: The DL-Lite Family and Relations
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
Journal-ref: Journal Of Artificial Intelligence Research, Volume 36, pages 1-69, 2009
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[168] arXiv:1401.3531 (cross-list from cs.LG) [pdf, other]
Title: Highly comparative feature-based time-series classification
Ben D. Fulcher, Nick S. Jones
Journal-ref: IEEE Trans. Knowl. Data Eng. 26, 3026 (2014)
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Databases (cs.DB); Data Analysis, Statistics and Probability (physics.data-an); Quantitative Methods (q-bio.QM)
[169] arXiv:1401.3579 (cross-list from cs.GT) [pdf, other]
Title: A Supervised Goal Directed Algorithm in Economical Choice Behaviour: An Actor-Critic Approach
Keyvan Yahya
Comments: Must be more flourished and fostered
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[170] arXiv:1401.3840 (cross-list from cs.LO) [pdf, other]
Title: Grounding FO and FO(ID) with Bounds
Johan Wittocx, Maarten Mariën, Marc Denecker
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 223-269, 2010
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[171] arXiv:1401.3843 (cross-list from cs.CG) [pdf, other]
Title: Theta*: Any-Angle Path Planning on Grids
Kenny Daniel, Alex Nash, Sven Koenig, Ariel Felner
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 533-579, 2010
Subjects: Computational Geometry (cs.CG); Artificial Intelligence (cs.AI)
[172] arXiv:1401.3844 (cross-list from cs.GT) [pdf, other]
Title: Multiattribute Auctions Based on Generalized Additive Independence
Yagil Engel, Michael P. Wellman
Journal-ref: Journal Of Artificial Intelligence Research, Volume 37, pages 479-525, 2010
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[173] arXiv:1401.3845 (cross-list from cs.MA) [pdf, other]
Title: Resource-Driven Mission-Phasing Techniques for Constrained Agents in Stochastic Environments
Jianhui Wu, Edmund H. Durfee
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 415-473, 2010
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)
[174] arXiv:1401.3849 (cross-list from cs.LO) [pdf, other]
Title: Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Sebastian Rudolph, Birte Glimm
Journal-ref: Journal Of Artificial Intelligence Research, Volume 39, pages 429-481, 2010
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[175] arXiv:1401.3855 (cross-list from cs.GT) [pdf, other]
Title: Algorithms for Closed Under Rational Behavior (CURB) Sets
Michael Benisch, George B. Davis, Tuomas Sandholm
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 513-534, 2010
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[176] arXiv:1401.3858 (cross-list from cs.LO) [pdf, other]
Title: Logical Foundations of RDF(S) with Datatypes
Jos de Bruijn, Stijn Heymans
Journal-ref: Journal Of Artificial Intelligence Research, Volume 38, pages 535-568, 2010
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[177] arXiv:1401.3864 (cross-list from cs.LO) [pdf, other]
Title: A Logical Study of Partial Entailment
Yi Zhou, Yan Zhang
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 25-56, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[178] arXiv:1401.3868 (cross-list from cs.LO) [pdf, other]
Title: Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Albert Atserias, Johannes Klaus Fichte, Marc Thurley
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 353-373, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[179] arXiv:1401.3870 (cross-list from cs.LG) [pdf, other]
Title: Learning to Make Predictions In Partially Observable Environments Without a Generative Model
Erik Talvitie, Satinder Singh
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 353-392, 2011
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[180] arXiv:1401.3877 (cross-list from cs.LG) [pdf, other]
Title: Properties of Bethe Free Energies and Message Passing in Gaussian Models
Botond Cseke, Tom Heskes
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 1-24, 2011
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[181] arXiv:1401.3878 (cross-list from cs.LO) [pdf, other]
Title: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 701-728, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[182] arXiv:1401.3894 (cross-list from cs.LG) [pdf, other]
Title: Efficient Multi-Start Strategies for Local Search Algorithms
András György, Levente Kocsis
Journal-ref: Journal Of Artificial Intelligence Research, Volume 41, pages 407-444, 2011
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[183] arXiv:1401.3897 (cross-list from cs.LO) [pdf, other]
Title: Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Dov Gabbay, David Pearce, Agustín Valverde
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 917-943, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[184] arXiv:1401.3898 (cross-list from cs.LO) [pdf, other]
Title: First-Order Stable Model Semantics and First-Order Loop Formulas
Joohyung Lee, Yunsong Meng
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 125-180, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[185] arXiv:1401.3900 (cross-list from cs.LO) [pdf, other]
Title: Decidability and Undecidability Results for Propositional Schemata
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
Journal-ref: Journal Of Artificial Intelligence Research, Volume 40, pages 599-656, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[186] arXiv:1401.3901 (cross-list from cs.LO) [pdf, other]
Title: Defeasible Inclusions in Low-Complexity DLs
Piero A. Bonatti, Marco Faella, Luigi Sauro
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 719-764, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[187] arXiv:1401.4082 (cross-list from stat.ML) [pdf, other]
Title: Stochastic Backpropagation and Approximate Inference in Deep Generative Models
Danilo Jimenez Rezende, Shakir Mohamed, Daan Wierstra
Comments: Appears In Proceedings of the 31st International Conference on Machine Learning (ICML), JMLR: W\&CP volume 32, 2014
Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Computation (stat.CO); Methodology (stat.ME)
[188] arXiv:1401.4593 (cross-list from cs.MA) [pdf, other]
Title: Location-Based Reasoning about Complex Multi-Agent Behavior
Adam Sadilek, Henry Kautz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 87-133, 2012
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI)
[189] arXiv:1401.4596 (cross-list from cs.LO) [pdf, other]
Title: Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
Journal-ref: Journal Of Artificial Intelligence Research, Volume 42, pages 487-527, 2011
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[190] arXiv:1401.4599 (cross-list from cs.RO) [pdf, other]
Title: Learning and Reasoning with Action-Related Places for Robust Mobile Manipulation
Freek Stulp, Andreas Fedrizzi, Lorenz Mösenlechner, Michael Beetz
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 1-42, 2012
Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)
[191] arXiv:1401.4609 (cross-list from cs.DS) [pdf, other]
Title: Computing All-Pairs Shortest Paths by Leveraging Low Treewidth
Léon R. Planken, Mathijs M. de Weerdt, Roman P.J. van der Krogt
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 353-388, 2012
Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI)
[192] arXiv:1401.4869 (cross-list from cs.CL) [pdf, other]
Title: Does Syntactic Knowledge help English-Hindi SMT?
Taraka Rama, Karthik Gali, Avinesh PVS
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)
[193] arXiv:1401.5054 (cross-list from cs.NE) [pdf, other]
Title: Análisis e implementación de algoritmos evolutivos para la optimización de simulaciones en ingeniería civil. (draft)
José Alberto García Gutiérrez, Alejandro Mateo Hernández Díaz
Comments: In Spanish. The authors acknowledge corrections, comments and suggestions to this paper, thanks.
Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
[194] arXiv:1401.5327 (cross-list from cs.CL) [pdf, other]
Title: Compositional Operators in Distributional Semantics
Dimitri Kartsaklis
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Category Theory (math.CT)
[195] arXiv:1401.5390 (cross-list from cs.CL) [pdf, other]
Title: Learning to Win by Reading Manuals in a Monte-Carlo Framework
S.R.K. Branavan, David Silver, Regina Barzilay
Journal-ref: Journal Of Artificial Intelligence Research, Volume 43, pages 661-704, 2012
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[196] arXiv:1401.5849 (cross-list from cs.MA) [pdf, other]
Title: Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
Francesco Belardinelli, Alessio Lomuscio
Journal-ref: Journal Of Artificial Intelligence Research, Volume 45, pages 1-45, 2012
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[197] arXiv:1401.5850 (cross-list from cs.LO) [pdf, other]
Title: The Logical Difference for the Lightweight Description Logic EL
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 633-708, 2012
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[198] arXiv:1401.5855 (cross-list from cs.CC) [pdf, other]
Title: Tractable Triangles and Cross-Free Convexity in Discrete Optimisation
Martin C. Cooper, Stanislav Živný
Comments: arXiv admin note: text overlap with arXiv:1008.4035 by other authors
Journal-ref: Journal Of Artificial Intelligence Research, Volume 44, pages 455-490, 2012
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[199] arXiv:1401.5980 (cross-list from cs.CL) [pdf, other]
Title: Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Category Theory (math.CT)
[200] arXiv:1401.6226 (cross-list from cs.CR) [pdf, other]
Title: Using Neural Network to Propose Solutions to Threats in Attack Patterns
Adetunji Adebiyi, Chris Imafidon
Comments: 11 Pages
Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 1, 2013
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI)
[201] arXiv:1401.6307 (cross-list from cs.CC) [pdf, other]
Title: Hypergraph Acyclicity and Propositional Model Counting
Florent Capelli, Arnaud Durand, Stefan Mengel
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[202] arXiv:1401.8269 (cross-list from cs.CL) [pdf, other]
Title: Experiments with Three Approaches to Recognizing Lexical Entailment
Peter D. Turney, Saif M. Mohammad
Comments: to appear in Natural Language Engineering
Journal-ref: Natural Language Engineering, 21 (3), (2015), 437-476
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
Total of 202 entries
Showing up to 2000 entries per page: fewer | more | all