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
[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