Artificial Intelligence

Authors and titles for December 2014

[26] arXiv:1412.4485 [pdf, other]

Title: Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses

Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)

[27] arXiv:1412.4802 [pdf, other]

Title: Neutrosophic information in the framework of multi-valued representation

Vasile Patrascu

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:1412.4972 [pdf, other]

Title: Max-Product Belief Propagation for Linear Programming: Applications to Combinatorial Optimization

Sejun Park, Jinwoo Shin

Subjects: Artificial Intelligence (cs.AI)

[29] arXiv:1412.5077 [pdf, other]

Title: A Multi-criteria neutrosophic group decision making metod based TOPSIS for supplier selection

Rıdvan Şahin, Muhammed Yiğider

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[30] arXiv:1412.5202 [pdf, other]

Title: Multi-criteria neutrosophic decision making method based on score and accuracy functions under neutrosophic environment

Rıdvan Şahin

Subjects: Artificial Intelligence (cs.AI)

[31] arXiv:1412.5980 [pdf, other]

Title: GraATP: A Graph Theoretic Approach for Automated Theorem Proving in Plane Geometry

Mohammad Murtaza Mahmud, Swakkhar Shatabda, Mohammad Nurul Huda

Comments: The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

Subjects: Artificial Intelligence (cs.AI)

[32] arXiv:1412.5984 [pdf, other]

Title: Stochastic Local Search for Pattern Set Mining

Muktadir Hossain, Tajkia Tasnim, Swakkhar Shatabda, Dewan M. Farid

Comments: The 8th International Conference on Software, Knowledge, Information Management and Applications (SKIMA 2014)

Subjects: Artificial Intelligence (cs.AI)

[33] arXiv:1412.6060 [pdf, other]

Title: Combinatorial Structure of the Deterministic Seriation Method with Multiple Subset Solutions

Mark E. Madsen, Carl P. Lipo

Comments: 8 pages, 2 figures

Subjects: Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

[34] arXiv:1412.6141 [pdf, other]

Title: Efficient Decision-Making by Volume-Conserving Physical Object

Song-Ju Kim, Masashi Aono, Etsushi Nameda

Comments: 5 pages, 3 figures

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Adaptation and Self-Organizing Systems (nlin.AO); Data Analysis, Statistics and Probability (physics.data-an)

[35] arXiv:1412.6413 [pdf, other]

Title: Towards a Consistent, Sound and Complete Conceptual Knowledge

Gowri Shankar Ramaswamy, F Sagayaraj Francis

Journal-ref: International Journal of Computer Trends and Technology (IJCTT) V17(2):61-63, Nov 2014

Subjects: Artificial Intelligence (cs.AI)

[36] arXiv:1412.6545 [pdf, other]

Title: KF metamodel formalization

Pablo R. Fillottrani, C. Maria Keet

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB); Logic in Computer Science (cs.LO)

[37] arXiv:1412.6649 [pdf, other]

Title: Qualitative shape representation based on the qualitative relative direction and distance calculus eOPRAm

Christopher H. Dorr, Reinhard Moratz

Subjects: Artificial Intelligence (cs.AI); Graphics (cs.GR)

[38] arXiv:1412.6703 [pdf, other]

Title: Quantifying Natural and Artificial Intelligence in Robots and Natural Systems with an Algorithmic Behavioural Test

Hector Zenil

Comments: 21 pages, Springer Cosmos Series Book on Metrics of sensory motor integration in robots and animals

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO)

[39] arXiv:1412.6973 [pdf, other]

Title: Decision-theoretic rough sets-based three-way approximations of interval-valued fuzzy sets

Guangming Lang

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:1412.7585 [pdf, other]

Title: Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies

Jia Xu, Patrick Shironoshita, Ubbo Visser, Nigel John, Mansur Kabuka

Journal-ref: International Journal of Intelligence Science, Vol. 5 No. 1, 44-62, 2015

Subjects: Artificial Intelligence (cs.AI)

[41] arXiv:1412.7961 [pdf, other]

Title: Reasoning for Improved Sensor Data Interpretation in a Smart Home

Marjan Alirezaie, Amy Loutfi

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 1-12

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:1412.7964 [pdf, other]

Title: Knowledge Propagation in Contextualized Knowledge Repositories: an Experimental Evaluation

Loris Bozzato, Luciano Serafini

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 13-24

Subjects: Artificial Intelligence (cs.AI)

[43] arXiv:1412.7965 [pdf, other]

Title: Adding Context to Knowledge and Action Bases

Diego Calvanese, İsmail İlkan Ceylan, Marco Montali, Ario Santoso

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 25-36

Subjects: Artificial Intelligence (cs.AI)

[44] arXiv:1412.7967 [pdf, other]

Title: Different Types of Conflicting Knowledge in AmI Environments

Martin Homola, Theodore Patkos

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 37-43

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:1412.7968 [pdf, other]

Title: Context-Aware Analytics in MOM Applications

Martin Ringsquandl, Steffen Lamparter, Raffaello Lepratti

Comments: ARCOE-Logic 2014 Workshop Notes, pp. 44-49

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:1412.7978 [pdf, other]

Title: The Computational Theory of Intelligence: Information Entropy

Daniel Kovach

Comments: Published at this http URL

Journal-ref: International Journal of Modern Nonlinear Theory and Application, 3, 182-190 (2014)

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[47] arXiv:1412.8529 [pdf, other]

Title: A note about the generalisation of the C-tests

Jose Hernandez-Orallo

Comments: 16 pages

Subjects: Artificial Intelligence (cs.AI)

[48] arXiv:1412.8531 [pdf, other]

Title: Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

Michael Fink, Martin Homola, Alessandra Mileo

Comments: ARCOE-Logic 2014, 5 papers

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:1412.8704 [pdf, other]

Title: Quantum Structure in Cognition and the Foundations of Human Reasoning

Diederik Aerts, Sandro Sozzo, Tomas Veloz

Comments: 11 pages, no figures

Journal-ref: International Journal of Theoretical Physics, 54, pp 4557-4569, 2015

Subjects: Artificial Intelligence (cs.AI); Quantum Physics (quant-ph)

[50] arXiv:1412.0320 (cross-list from cs.LO) [pdf, other]

Title: Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas

Yuping Shen, Xishun Zhao

Comments: This is an extended version of a conference paper with the same name in KR2014

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)