AI Agent

Explaining Transition Systems through Program Induction

Svetlin Penkov, Subramanian Ramamoorthy

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments submitted to Neural Information Processing Systems 2017

Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming

Toni Mattis, Patrick Rein, Robert Hirschfeld

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

Journal ref The Art, Science, and Engineering of Programming, 2017, Vol. 1, Issue 2, Article 13

Live Visualization of GUI Application Code Coverage with GUITracer

Arthur-Jozsef Molnar

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

Comments http://ieeexplore.ieee.org/document/7332434/

Journal ref IEEE 3rd Working Conference on Software Visualization (VISSOFT 2015), September 27-28, 2015, Bremen, Germany; pages 185-189

Auto-Documenation for Software Development

Thomas Zheng, Jeff Shaw, Sergey Kozlov

专题命中 软件智能体 ：tool use(abstract)；分类 cs.SE

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition)

Zohreh Shams, Marina De Vos, Julian Padget, Wamberto W. Vasconcelos

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Learning from Rational Behavior: Predicting Solutions to Unknown Linear Programs

Shahin Jabbari, Ryan Rogers, Aaron Roth, Zhiwei Steven Wu

专题命中 软件智能体 ：agent(abstract)；分类 cs.LG

Comments The short version of this paper appears in the proceedings of NIPS-16

A Theory of Interactive Debugging of Knowledge Bases in Monotonic Logics

Patrick Rodler

专题命中 软件智能体 ：planning(abstract)；分类 cs.AI

Assisted Coverage Closure

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

Comments submitted paper

An introduction to Docker for reproducible research, with examples from the R environment

Carl Boettiger

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

Journal ref (2015) ACM SIGOPS Operating Systems Review, Special Issue on Repeatability and Sharing of Experimental Artifacts. 49(1), 71-79

Provably Bounded-Optimal Agents

S. J. Russell, D. Subramanian

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments See http://www.jair.org/ for any accompanying files

Journal ref Journal of Artificial Intelligence Research, Vol 2, (1995), 575-609

Understanding Class-level Testability Through Dynamic Analysis

Amjed Tahir, Stephen G. MacDonell, Jim Buchan

专题命中 软件智能体 ：planning(abstract)；分类 cs.SE

Comments 10 pages, conference paper, 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2014

People are Strange when you're a Stranger: Impact and Influence of Bots on Social Networks

Luca Maria Aiello, Martina Deplano, Rossano Schifanella, Giancarlo Ruffo

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 10 pages, 9 figures, Proceedings of the 6th International AAAI Conference on Weblogs and Social Media, Dublin, IR, 2012

Approximate Decentralized Bayesian Inference

Trevor Campbell, Jonathan P. How

专题命中 软件智能体 ：agent(abstract)；分类 cs.LG

Comments This paper was presented at UAI 2014. Please use the following BibTeX citation: @inproceedings{Campbell14_UAI, Author = {Trevor Campbell and Jonathan P. How}, Title = {Approximate Decentralized Bayesian Inference}, Booktitle = {Uncertainty in Artificial Intelligence (UAI)}, Year = {2014}}

Enabling Automatic Certification of Online Auctions

Wei Bai, Emmanuel M. Tadjouddine, Yu Guo

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments In Proceedings FESCA 2014, arXiv:1404.0436

Journal ref EPTCS 147, 2014, pp. 123-132

Empirically Evaluating Multiagent Learning Algorithms

Erik Zawadzki, Asher Lipson, Kevin Leyton-Brown

专题命中 软件智能体 ：agent(abstract)；分类 cs.LG

Agents and owl-s based semantic web service discovery with user preference support

Benaboud Rohallah, Maamri Ramdane, Sahnoun Zaidi

专题命中 软件智能体 ：agent(abstract)；分类 cs.SE

Comments 19 pages, 10 figures

Journal ref International Journal of Web & Semantic Technology (IJWesT), April 2013, Volume 4, Number 2, pp 57-75

JooFlux : modification de code à chaud et injection d'aspects directement dans une JVM 7

Julien Ponge, Frédéric Le Mouël

专题命中 软件智能体 ：agent(abstract)；分类 cs.SE

Comments Conférence d'informatique en Parallélisme, Architecture et Système (ComPAS) - Conférence Française en Systèmes d'Exploitation (CFSE) (2013) (2013)

Model-based Utility Functions

Bill Hibbard

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 24 pages, extensive revisions

Journal ref Journal of Artificial General Intelligence 3(1) 1-24, 2012

Belief change with noisy sensing in the situation calculus

Jianbing Ma, Weiru Liu, Paul Miller

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Model-Based Trace-Checking

Y. Howard, S. Gruner, A. Gravell, C. Ferreira, J. C. Augusto

专题命中 软件智能体 ：agent(abstract)；分类 cs.SE

Journal ref UK Software Testing Research Workshop 2003

8-Valent Fuzzy Logic for Iris Recognition and Biometry

N. Popescu-Bodorin, V. E. Balas, I. M. Motoc

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 6 pages, 2 figures, 5th IEEE Int. Symp. on Computational Intelligence and Intelligent Informatics (Floriana, Malta, September 15-17), ISBN: 978-1-4577-1861-8 (electronic), 978-1-4577-1860-1 (print), 2011

Journal ref Proc. 5th IEEE Int. Symp. on Computational Intelligence and Intelligent Informatics, pp. 149-154, ISBN: 978-1-4577-1861-8 (electronic), 978-1-4577-1860-1 (print), IEEE Press, 2011

An Expressive Language and Efficient Execution System for Software Agents

G. Barish, C. A. Knoblock

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Journal ref Journal Of Artificial Intelligence Research, Volume 23, pages 625-666, 2005

Logic-Based Decision Support for Strategic Environmental Assessment

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli

专题命中 软件智能体 ：planning(abstract)；分类 cs.AI

Comments 17 pages, 1 figure, 26th Int'l. Conference on Logic Programming (ICLP'10)

Journal ref Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6), 643-658, 2010

File Managing and Program Execution in Web Operating Systems

Mario Bravetti

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

Spatio-Temporal Graphical Model Selection

Patrick L. Harrington, Alfred O. Hero

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Improvement in RUP Project Management via Service Monitoring: Best Practice of SOA

Sheikh Muhammad Saqib, Shakeel Ahmad, Shahid Hussain, Bashir Ahmad, Arjamand Bano

专题命中 软件智能体 ：planning(abstract)；分类 cs.SE

Journal ref Journal of Computing, Volume 2, Issue 2, February 2010, https://sites.google.com/site/journalofcomputing/

Documenting Spreadsheets with Pseudo-Code: an Exercise with Cash-Flow and Loans

Jocelyn Paine

专题命中 软件智能体 ：planning(abstract)；分类 cs.SE

Comments 12 Pages

Journal ref Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2009 173-183 ISBN 978-1-905617-89-0

Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications

Arash Shaban-Nejad, Olga Ormandjieva, Mohamad Kassab, Volker Haarslev

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 36 Pages, 16 Figures

Journal ref International Journal of Telemedicine and Applications, Volume 2009, Article ID 917826, 14 pages, PubMed ID: 19343191

Towards an Intelligent System for Risk Prevention and Management

Fahem Kebair, Frederic Serin

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 11 pages

Journal ref Proceedings of the 5th International ISCRAM Conference. 526-535, Washington, DC, USA May 2008

Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity

Juergen Schmidhuber

专题命中 软件智能体 ：agent(abstract)；分类 cs.AI

Comments 15 pages, 3 highly compressible low-complexity drawings. Joint Invited Lecture for Algorithmic Learning Theory (ALT 2007) and Discovery Science (DS 2007), Sendai, Japan, 2007