callback( { "result":{ "query":":facetid:stream:\"streams/journals/etai\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"194.23" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"64", "@dc":"64", "@oc":"64", "@id":"43364384", "text":":facetid:stream:streams/journals/etai" } }, "hits":{ "@total":"64", "@computed":"64", "@sent":"64", "@first":"0", "hit":[{ "@score":"1", "@id":"6325992", "info":{"authors":{"author":[{"@pid":"44/2355","text":"Hideo Bannai"},{"@pid":"65/4814","text":"Yoshinori Tamada"},{"@pid":"82/6722","text":"Osamu Maruyama"},{"@pid":"73/2912","text":"Satoru Miyano"}]},"title":"HypothesisCreator: Concepts for Accelerating the Computational Knowledge Discovery Process.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"73-83","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/BannaiTMM01","ee":"http://www.ep.liu.se/ej/etai/2001/004/","url":"https://dblp.org/rec/journals/etai/BannaiTMM01"}, "url":"URL#6325992" }, { "@score":"1", "@id":"6325993", "info":{"authors":{"author":[{"@pid":"55/2704","text":"Christopher H. Bryant"},{"@pid":"m/StephenMuggleton","text":"Stephen H. Muggleton"},{"@pid":"91/6259","text":"Stephen G. Oliver"},{"@pid":"88/6231","text":"Douglas B. Kell"},{"@pid":"12/2029","text":"Philip G. K. Reiser"},{"@pid":"k/RossDKing","text":"Ross D. King"}]},"title":"Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"1-36","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/BryantMOKRK01","ee":"http://www.ep.liu.se/ej/etai/2001/001/","url":"https://dblp.org/rec/journals/etai/BryantMOKRK01"}, "url":"URL#6325993" }, { "@score":"1", "@id":"6325994", "info":{"authors":{"author":{"@pid":"c/JacquesCohen","text":"Jacques Cohen"}},"title":"Approaches for Simulating and Modeling Cell Regulation: Search for a Unified View Using Constraints.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"161-188","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Cohen01","ee":"http://www.ep.liu.se/ej/etai/2001/010/","url":"https://dblp.org/rec/journals/etai/Cohen01"}, "url":"URL#6325994" }, { "@score":"1", "@id":"6325995", "info":{"authors":{"author":[{"@pid":"07/6101","text":"A. P. Cootes"},{"@pid":"m/StephenMuggleton","text":"Stephen H. Muggleton"},{"@pid":"42/5943","text":"R. B. Greaves"},{"@pid":"93/2269","text":"Michael J. E. Sternberg"}]},"title":"Automatic determination of protein fold signatures from structural superpositions.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"245-274","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/CootesMGS01","ee":"http://www.ep.liu.se/ej/etai/2001/012/","url":"https://dblp.org/rec/journals/etai/CootesMGS01"}, "url":"URL#6325995" }, { "@score":"1", "@id":"6325996", "info":{"authors":{"author":[{"@pid":"k/RossDKing","text":"Ross D. King"},{"@pid":"53/2719","text":"Nathalie Marchand-Geneste"},{"@pid":"34/555","text":"Bjørn K. Alsberg"}]},"title":"A quantum mechanics based representation of molecules for machine inference.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"127-142","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/KingMA01","ee":"http://www.ep.liu.se/ej/etai/2001/008/","url":"https://dblp.org/rec/journals/etai/KingMA01"}, "url":"URL#6325996" }, { "@score":"1", "@id":"6325997", "info":{"authors":{"author":[{"@pid":"12/433","text":"Ikuo Kobayashi"},{"@pid":"51/1960","text":"Koichi Furukawa"},{"@pid":"60/2340","text":"Tomonobu Ozaki"},{"@pid":"20/6081","text":"Mutsumi Imai"}]},"title":"A Bootstrapping Model for Children's Vocabulary Acquisition using Inductive Logic Programming.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"47-72","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/KobayashiFOI01","ee":"http://www.ep.liu.se/ej/etai/2001/003/","url":"https://dblp.org/rec/journals/etai/KobayashiFOI01"}, "url":"URL#6325997" }, { "@score":"1", "@id":"6325998", "info":{"authors":{"author":{"@pid":"42/2225","text":"Donald Michie"}},"title":"Return of the Imitation Game.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"203-221","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Michie01","ee":"http://www.ep.liu.se/ej/etai/2001/014/","url":"https://dblp.org/rec/journals/etai/Michie01"}, "url":"URL#6325998" }, { "@score":"1", "@id":"6325999", "info":{"authors":{"author":{"@pid":"96/6430","text":"Nils J. Nilsson"}},"title":"Teleo-Reactive Programs and the Triple-Tower Architecture.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"99-110","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Nilsson01","ee":"http://www.ep.liu.se/ej/etai/2001/006/","url":"https://dblp.org/rec/journals/etai/Nilsson01"}, "url":"URL#6325999" }, { "@score":"1", "@id":"6326000", "info":{"authors":{"author":[{"@pid":"12/2029","text":"Philip G. K. Reiser"},{"@pid":"k/RossDKing","text":"Ross D. King"},{"@pid":"88/6231","text":"Douglas B. Kell"},{"@pid":"m/StephenMuggleton","text":"Stephen H. Muggleton"},{"@pid":"55/2704","text":"Christopher H. Bryant"},{"@pid":"91/6259","text":"Stephen G. Oliver"}]},"title":"Developing a Logical Model of Yeast Metabolism.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"223-244","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/ReiserKKMBO01","ee":"http://www.ep.liu.se/ej/etai/2001/013/","url":"https://dblp.org/rec/journals/etai/ReiserKKMBO01"}, "url":"URL#6326000" }, { "@score":"1", "@id":"6326001", "info":{"authors":{"author":[{"@pid":"80/163","text":"Zhanna Reznikova"},{"@pid":"49/916","text":"Boris Ryabko"}]},"title":"A Study of Ants' Numerical Competence.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"111-126","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/ReznikovaR01","ee":"http://www.ep.liu.se/ej/etai/2001/007/","url":"https://dblp.org/rec/journals/etai/ReznikovaR01"}, "url":"URL#6326001" }, { "@score":"1", "@id":"6326002", "info":{"authors":{"author":{"@pid":"49/916","text":"Boris Ryabko"}},"title":"The nonprobabilistic approach to learning the best prediction.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"37-45","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Ryabko01","ee":"http://www.ep.liu.se/ej/etai/2001/002/","url":"https://dblp.org/rec/journals/etai/Ryabko01"}, "url":"URL#6326002" }, { "@score":"1", "@id":"6326003", "info":{"authors":{"author":{"@pid":"s/ClaudeSammut","text":"Claude Sammut"}},"title":"Managing Context in a Conversational Agent.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"189-202","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Sammut01","ee":"http://www.ep.liu.se/ej/etai/2001/011/","url":"https://dblp.org/rec/journals/etai/Sammut01"}, "url":"URL#6326003" }, { "@score":"1", "@id":"6326004", "info":{"authors":{"author":{"@pid":"s/ErikSandewall","text":"Erik Sandewall"}},"title":"On the Design of Software Individuals.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"143-160","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Sandewall01","ee":"http://www.ep.liu.se/ej/etai/2001/009/","url":"https://dblp.org/rec/journals/etai/Sandewall01"}, "url":"URL#6326004" }, { "@score":"1", "@id":"6326005", "info":{"authors":{"author":{"@pid":"82/2447","text":"Steffen Schulze-Kremer"}},"title":"Ontologies for Molecular Biology.","venue":"Electron. Trans. Artif. Intell.","volume":"5","number":"B","pages":"85-97","year":"2001","type":"Journal Articles","access":"closed","key":"journals/etai/Schulze-Kremer01","ee":"http://www.ep.liu.se/ej/etai/2001/005/","url":"https://dblp.org/rec/journals/etai/Schulze-Kremer01"}, "url":"URL#6326005" }, { "@score":"1", "@id":"6412149", "info":{"authors":{"author":[{"@pid":"69/1218","text":"Martin F. van Bommel"},{"@pid":"77/1891","text":"T. J. Beck"}]},"title":"Incremental Encoding of Multiple Inheritance Hierarchies Supporting Lattice Operations.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"C","pages":"35-49","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/BommelB00","ee":"http://www.ep.liu.se/ej/etai/2000/006/","url":"https://dblp.org/rec/journals/etai/BommelB00"}, "url":"URL#6412149" }, { "@score":"1", "@id":"6412150", "info":{"authors":{"author":{"@pid":"92/6384","text":"Simon Colton"}},"title":"An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"97-117","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/Colton00","ee":"http://www.ep.liu.se/ej/etai/2000/012/","url":"https://dblp.org/rec/journals/etai/Colton00"}, "url":"URL#6412150" }, { "@score":"1", "@id":"6412151", "info":{"authors":{"author":[{"@pid":"e/PWEklund","text":"Peter W. Eklund"},{"@pid":"c/RJColeII","text":"Richard J. Cole II"}]},"title":"A Knowledge Representation for Information Filtering Using Formal Concept Analysis.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"C","pages":"51-61","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/EklundC00","ee":"http://www.ep.liu.se/ej/etai/2000/007/","url":"https://dblp.org/rec/journals/etai/EklundC00"}, "url":"URL#6412151" }, { "@score":"1", "@id":"6412152", "info":{"authors":{"author":[{"@pid":"19/2843","text":"Makoto Haraguchi"},{"@pid":"30/5778","text":"Yoshiaki Okubo"},{"@pid":"65/2951","text":"Tokuyasu Kakuta"}]},"title":"A Logical Foundation of Metaphoric Search Based on Abstraction Approach.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"53-81","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/HaraguchiOK00","ee":"http://www.ep.liu.se/ej/etai/2000/010/","url":"https://dblp.org/rec/journals/etai/HaraguchiOK00"}, "url":"URL#6412152" }, { "@score":"1", "@id":"6412153", "info":{"authors":{"author":{"@pid":"l/JWLloyd","text":"John W. Lloyd"}},"title":"Predicate Construction in Higher-order Logic.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"21-51","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/Lloyd00","ee":"http://www.ep.liu.se/ej/etai/2000/009/","url":"https://dblp.org/rec/journals/etai/Lloyd00"}, "url":"URL#6412153" }, { "@score":"1", "@id":"6412154", "info":{"authors":{"author":{"@pid":"42/2225","text":"Donald Michie"}},"title":"It Takes Two (At Least) to Tango.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"1-19","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/Michie00","ee":"http://www.ep.liu.se/ej/etai/2000/008/","url":"https://dblp.org/rec/journals/etai/Michie00"}, "url":"URL#6412154" }, { "@score":"1", "@id":"6412155", "info":{"authors":{"author":[{"@pid":"32/2562","text":"Guy W. Mineau"},{"@pid":"25/758","text":"Akshay Bissoon"},{"@pid":"49/6980","text":"Robert Godin"}]},"title":"Simple Pre- and Post-Pruning Techniques for Large Conceptual Clustering Structures.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"C","pages":"1-20","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/MineauBG00","ee":"http://www.ep.liu.se/ej/etai/2000/001/","url":"https://dblp.org/rec/journals/etai/MineauBG00"}, "url":"URL#6412155" }, { "@score":"1", "@id":"6412156", "info":{"authors":{"author":{"@pid":"m/StephenMuggleton","text":"Stephen H. Muggleton"}},"title":"Learning Stochastic Logic Programs.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"141-153","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/Muggleton00","ee":"http://www.ep.liu.se/ej/etai/2000/015/","url":"https://dblp.org/rec/journals/etai/Muggleton00"}, "url":"URL#6412156" }, { "@score":"1", "@id":"6412157", "info":{"authors":{"author":[{"@pid":"54/2802-1","text":"Massimo Paolucci 0001"},{"@pid":"20/1380","text":"Onn Shehory"},{"@pid":"s/KatiaPSycara","text":"Katia P. Sycara"}]},"title":"Interleaving Planning and Execution in a Multiagent Team Planning Environment.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"A","pages":"23-43","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/PaolucciSS00","ee":"http://www.ep.liu.se/ej/etai/2000/003/","url":"https://dblp.org/rec/journals/etai/PaolucciSS00"}, "url":"URL#6412157" }, { "@score":"1", "@id":"6412158", "info":{"authors":{"author":{"@pid":"29/3789","text":"Uta Priss"}},"title":"Faceted Knowledge Representation.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"C","pages":"21-33","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/Priss00","ee":"http://www.ep.liu.se/ej/etai/2000/002/","url":"https://dblp.org/rec/journals/etai/Priss00"}, "url":"URL#6412158" }, { "@score":"1", "@id":"6412159", "info":{"authors":{"author":[{"@pid":"s/DorianSuc","text":"Dorian Suc"},{"@pid":"b/IvanBratko","text":"Ivan Bratko"}]},"title":"Qualitative Trees Applied to Bicycle Riding.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"125-140","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/SucB00","ee":"http://www.ep.liu.se/ej/etai/2000/014/","url":"https://dblp.org/rec/journals/etai/SucB00"}, "url":"URL#6412159" }, { "@score":"1", "@id":"6412160", "info":{"authors":{"author":[{"@pid":"22/5878","text":"Marcel Turcotte"},{"@pid":"m/StephenMuggleton","text":"Stephen H. Muggleton"},{"@pid":"93/2269","text":"Michael J. E. Sternberg"}]},"title":"Use of Inductive Logic Programming to Learn Principles of Protein Structure.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"119-124","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/TurcotteMS00","ee":"http://www.ep.liu.se/ej/etai/2000/013/","url":"https://dblp.org/rec/journals/etai/TurcotteMS00"}, "url":"URL#6412160" }, { "@score":"1", "@id":"6412161", "info":{"authors":{"author":[{"@pid":"10/3291","text":"Ken Ueno"},{"@pid":"51/1960","text":"Koichi Furukawa"},{"@pid":"05/651","text":"Michael Bain 0001"}]},"title":"Motor Skill as Dynamic Constraint Satisfaction.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"83-96","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/UenoFB00","ee":"http://www.ep.liu.se/ej/etai/2000/011/","url":"https://dblp.org/rec/journals/etai/UenoFB00"}, "url":"URL#6412161" }, { "@score":"1", "@id":"6412162", "info":{"authors":{"author":[{"@pid":"57/1203","text":"Richard Washington"},{"@pid":"26/3684","text":"Keith Golden"},{"@pid":"84/4326","text":"John L. Bresina"}]},"title":"Plan Execution, Monitoring, and Adaptation for Planetary Rovers.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"A","pages":"3-21","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/WashingtonGB00","ee":"http://www.ep.liu.se/ej/etai/2000/004/","url":"https://dblp.org/rec/journals/etai/WashingtonGB00"}, "url":"URL#6412162" }, { "@score":"1", "@id":"6412163", "info":{"authors":{"author":[{"@pid":"67/3071","text":"Simon White"},{"@pid":"s/DerekHSleeman","text":"Derek H. Sleeman"}]},"title":"A Constraint-Based Approach to the Description and Detection of Fitness-for-Purpose.","venue":"Electron. Trans. Artif. Intell.","volume":"4","number":"B","pages":"155-183","year":"2000","type":"Journal Articles","access":"closed","key":"journals/etai/WhiteS00","ee":"http://www.ep.liu.se/ej/etai/2000/016/","url":"https://dblp.org/rec/journals/etai/WhiteS00"}, "url":"URL#6412163" }, { "@score":"1", "@id":"6492711", "info":{"authors":{"author":{"@pid":"17/1143","text":"Eyal Amir"}},"title":"Object-Oriented First-Order Logic.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"C","pages":"63-84","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Amir99","ee":"http://www.ep.liu.se/ej/etai/1999/008/","url":"https://dblp.org/rec/journals/etai/Amir99"}, "url":"URL#6492711" }, { "@score":"1", "@id":"6492712", "info":{"authors":{"author":[{"@pid":"13/2249","text":"Johan Boye"},{"@pid":"55/491","text":"Mats Wirén"},{"@pid":"00/1675","text":"Manny Rayner"},{"@pid":"89/1327","text":"Ian Lewin"},{"@pid":"45/1265","text":"David M. Carter"},{"@pid":"48/1782","text":"Ralph Becket"}]},"title":"Language-Processing Strategies and Mixed-Initiative Dialogues.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"73-88","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/BoyeWRLCB99","ee":"http://www.ep.liu.se/ea/cis/1999/024/","url":"https://dblp.org/rec/journals/etai/BoyeWRLCB99"}, "url":"URL#6492712" }, { "@score":"1", "@id":"6492713", "info":{"authors":{"author":{"@pid":"62/3549","text":"E. J. Briscoe"}},"title":"The Acquisition of Grammar in an Evolving Population of Language Agents.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"B","pages":"47-77","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Briscoe99","ee":"http://www.ep.liu.se/ej/etai/1999/004/","url":"https://dblp.org/rec/journals/etai/Briscoe99"}, "url":"URL#6492713" }, { "@score":"1", "@id":"6492714", "info":{"authors":{"author":[{"@pid":"50/1687","text":"Tom Costello"},{"@pid":"m/JohnMcCarthy","text":"John McCarthy 0001"}]},"title":"Useful Counterfactuals.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"A","pages":"51-76","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/CostelloM99","ee":"http://www.ep.liu.se/ej/etai/1999/011/","url":"https://dblp.org/rec/journals/etai/CostelloM99"}, "url":"URL#6492714" }, { "@score":"1", "@id":"6492715", "info":{"authors":{"author":{"@pid":"97/1440","text":"James Cussens"}},"title":"Integrating Probabilistic and Logical Reasoning.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"B","pages":"79-103","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Cussens99","ee":"http://www.ep.liu.se/ej/etai/1999/005/","url":"https://dblp.org/rec/journals/etai/Cussens99"}, "url":"URL#6492715" }, { "@score":"1", "@id":"6492716", "info":{"authors":{"author":{"@pid":"15/8470","text":"Annika Flycht-Eriksson"}},"title":"A Survey of Knowledge Sources in Dialogue Systems.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"5-32","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Flycht-Eriksson99","ee":"http://www.ep.liu.se/ej/etai/1999/018/","url":"https://dblp.org/rec/journals/etai/Flycht-Eriksson99"}, "url":"URL#6492716" }, { "@score":"1", "@id":"6492717", "info":{"authors":{"author":{"@pid":"51/6077","text":"Alan M. Frisch"}},"title":"Solving Constraint Satisfaction Problems with NB-Resolution.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"B","pages":"105-120","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Frisch99","ee":"http://www.ep.liu.se/ej/etai/1999/006/","url":"https://dblp.org/rec/journals/etai/Frisch99"}, "url":"URL#6492717" }, { "@score":"1", "@id":"6492718", "info":{"authors":{"author":[{"@pid":"g/GDGiacomo","text":"Giuseppe De Giacomo"},{"@pid":"00/4014","text":"Riccardo Rosati 0001"}]},"title":"Minimal Knowledge Approach to Reasoning about Actions and Sensing.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"C","pages":"1-18","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/GiacomoR99","ee":"http://www.ep.liu.se/ej/etai/1999/009/","url":"https://dblp.org/rec/journals/etai/GiacomoR99"}, "url":"URL#6492718" }, { "@score":"1", "@id":"6492719", "info":{"authors":{"author":[{"@pid":"14/5524","text":"Knut Hartmann"},{"@pid":"p/BPreim","text":"Bernhard Preim"},{"@pid":"s/TStrothotte","text":"Thomas Strothotte"}]},"title":"Describing Abstraction in Rendered Images through Figure Captions.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"A","pages":"1-26","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/HartmannPS99","ee":"http://www.ep.liu.se/ej/etai/1999/001/","url":"https://dblp.org/rec/journals/etai/HartmannPS99"}, "url":"URL#6492719" }, { "@score":"1", "@id":"6492720", "info":{"authors":{"author":[{"@pid":"53/4948","text":"Kevin Irwig"},{"@pid":"w/WayneWobcke","text":"Wayne Wobcke"}]},"title":"Multi-Agent Reinforcement Learning with Vicarious Rewards.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"B","pages":"23-45","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/IrwigW99","ee":"http://www.ep.liu.se/ej/etai/1999/003/","url":"https://dblp.org/rec/journals/etai/IrwigW99"}, "url":"URL#6492720" }, { "@score":"1", "@id":"6492721", "info":{"authors":{"author":{"@pid":"91/1228","text":"Anke Kölzer"}},"title":"Universal Dialogue Specification for Conversational Systems.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"33-52","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Kolzer99","ee":"http://www.ep.liu.se/ej/etai/1999/019/","url":"https://dblp.org/rec/journals/etai/Kolzer99"}, "url":"URL#6492721" }, { "@score":"1", "@id":"6492722", "info":{"authors":{"author":[{"@pid":"41/4455","text":"Staffan Larsson"},{"@pid":"98/268","text":"Robin Cooper"},{"@pid":"91/3180","text":"Elisabet Engdahl"},{"@pid":"36/601","text":"Peter Ljunglöf"}]},"title":"Information States and Dialogue Move Engines.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"53-71","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/LarssonCEL99","ee":"http://www.ep.liu.se/ej/etai/1999/012/","url":"https://dblp.org/rec/journals/etai/LarssonCEL99"}, "url":"URL#6492722" }, { "@score":"1", "@id":"6492723", "info":{"authors":{"author":[{"@pid":"40/2806","text":"Richard McConachy"},{"@pid":"z/IngridZukerman","text":"Ingrid Zukerman"}]},"title":"Dialogue Requirements for Argumentation Systems.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"89-124","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/McConachyZ99","ee":"http://www.ep.liu.se/ej/etai/1999/014/","url":"https://dblp.org/rec/journals/etai/McConachyZ99"}, "url":"URL#6492723" }, { "@score":"1", "@id":"6492724", "info":{"authors":{"author":[{"@pid":"m/SusanMcRoy","text":"Susan Weber McRoy"},{"@pid":"92/693","text":"Syed S. Ali"}]},"title":"A Practical, Declarative Theory of Dialog.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"153-176","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/McRoyA99","ee":"http://www.ep.liu.se/ej/etai/1999/015/","url":"https://dblp.org/rec/journals/etai/McRoyA99"}, "url":"URL#6492724" }, { "@score":"1", "@id":"6492725", "info":{"authors":{"author":[{"@pid":"m/RobMiller2","text":"Rob Miller 0002"},{"@pid":"11/5268","text":"Murray Shanahan"}]},"title":"The Event Calculus in Classical Logic - Alternative Axiomatisations.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"A","pages":"77-105","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/MillerS99","ee":"http://www.ep.liu.se/ej/etai/1999/016/","url":"https://dblp.org/rec/journals/etai/MillerS99"}, "url":"URL#6492725" }, { "@score":"1", "@id":"6492726", "info":{"authors":{"author":[{"@pid":"p/FioraPirri","text":"Fiora Pirri"},{"@pid":"85/1161","text":"Alberto Finzi"}]},"title":"An Approach to Perception in Theory of Actions: Part I.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"C","pages":"19-61","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/PirriF99","ee":"http://www.ep.liu.se/ej/etai/1999/010/","url":"https://dblp.org/rec/journals/etai/PirriF99"}, "url":"URL#6492726" }, { "@score":"1", "@id":"6492727", "info":{"authors":{"author":{"@pid":"s/CamillaSchwind","text":"Camilla Schwind"}},"title":"Causality in Action Theories.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"A","pages":"27-50","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/Schwind99","ee":"http://www.ep.liu.se/ej/etai/1999/007/","url":"https://dblp.org/rec/journals/etai/Schwind99"}, "url":"URL#6492727" }, { "@score":"1", "@id":"6492728", "info":{"authors":{"author":[{"@pid":"s/DorianSuc","text":"Dorian Suc"},{"@pid":"b/IvanBratko","text":"Ivan Bratko"}]},"title":"Symbolic and qualitative reconstruction of control skill.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"B","pages":"1-22","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/SucB99","ee":"http://www.ep.liu.se/ej/etai/1999/002/","url":"https://dblp.org/rec/journals/etai/SucB99"}, "url":"URL#6492728" }, { "@score":"1", "@id":"6492729", "info":{"authors":{"author":[{"@pid":"48/2932","text":"David R. Traum"},{"@pid":"01/10894","text":"Carl F. Andersen"},{"@pid":"36/3369","text":"Waiyian Chong"},{"@pid":"80/511","text":"Darsana P. Josyula"},{"@pid":"87/1288","text":"Yoshi Okamoto"},{"@pid":"36/3168","text":"Khemdut Purang"},{"@pid":"80/757","text":"Michael O'Donovan-Anderson"},{"@pid":"p/DPerlis","text":"Donald Perlis"}]},"title":"Representations of Dialogue State for Domain and Task Independent Meta-Dialogue.","venue":"Electron. Trans. Artif. Intell.","volume":"3","number":"D","pages":"125-152","year":"1999","type":"Journal Articles","access":"closed","key":"journals/etai/TraumACJOPOP99","ee":"http://www.ep.liu.se/ej/etai/1999/020/","url":"https://dblp.org/rec/journals/etai/TraumACJOPOP99"}, "url":"URL#6492729" }, { "@score":"1", "@id":"6562767", "info":{"authors":{"author":[{"@pid":"b/ChittaBaral","text":"Chitta Baral"},{"@pid":"s/TranCaoSon","text":"Tran Cao Son"}]},"title":"Relating Theories of Actions and Reactive Control.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"211-271","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/BaralT98","ee":"http://www.ep.liu.se/ej/etai/1998/008/","url":"https://dblp.org/rec/journals/etai/BaralT98"}, "url":"URL#6562767" }, { "@score":"1", "@id":"6562768", "info":{"authors":{"author":[{"@pid":"c/ICervesato","text":"Iliano Cervesato"},{"@pid":"51/6898","text":"Massimo Franceschet"},{"@pid":"68/27","text":"Angelo Montanari"}]},"title":"The Complexity of Model Checking in Modal Event Calculi with Quantifiers.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"1-23","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/CervesatoFM98","ee":"http://www.ep.liu.se/ej/etai/1998/001/","url":"https://dblp.org/rec/journals/etai/CervesatoFM98"}, "url":"URL#6562768" }, { "@score":"1", "@id":"6562769", "info":{"authors":{"author":[{"@pid":"d/MarcDenecker","text":"Marc Denecker"},{"@pid":"d/DTDupre","text":"Daniele Theseider Dupré"},{"@pid":"b/KVBelleghem","text":"Kristof Van Belleghem"}]},"title":"An Inductive Definition Approach to Ramifications.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"25-67","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/DeneckerDB98","ee":"http://www.ep.liu.se/ej/etai/1998/002/","url":"https://dblp.org/rec/journals/etai/DeneckerDB98"}, "url":"URL#6562769" }, { "@score":"1", "@id":"6562770", "info":{"authors":{"author":[{"@pid":"81/3618","text":"Patrick Doherty 0001"},{"@pid":"90/2887","text":"Joakim Gustafsson"},{"@pid":"68/5373","text":"Lars Karlsson"},{"@pid":"05/3470","text":"Jonas Kvarnström"}]},"title":"TAL: Temporal Action Logics Language Specification and Tutorial.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"273-306","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/DohertyGKK98","ee":"http://www.ep.liu.se/ej/etai/1998/009/","url":"https://dblp.org/rec/journals/etai/DohertyGKK98"}, "url":"URL#6562770" }, { "@score":"1", "@id":"6562771", "info":{"authors":{"author":[{"@pid":"23/306","text":"Michael Gelfond"},{"@pid":"l/VLifschitz","text":"Vladimir Lifschitz"}]},"title":"Action Languages.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"193-210","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/GelfondL98","ee":"http://www.ep.liu.se/ej/etai/1998/007/","url":"https://dblp.org/rec/journals/etai/GelfondL98"}, "url":"URL#6562771" }, { "@score":"1", "@id":"6562772", "info":{"authors":{"author":[{"@pid":"l/HJLevesque","text":"Hector J. Levesque"},{"@pid":"p/FioraPirri","text":"Fiora Pirri"},{"@pid":"r/RaymondReiter","text":"Raymond Reiter"}]},"title":"Foundations for the Situation Calculus.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"159-178","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/LevesquePR98","ee":"http://www.ep.liu.se/ej/etai/1998/005/","url":"https://dblp.org/rec/journals/etai/LevesquePR98"}, "url":"URL#6562772" }, { "@score":"1", "@id":"6562773", "info":{"authors":{"author":{"@pid":"p/DavidPoole","text":"David Poole 0001"}},"title":"Decision Theory, the Situation Calculus and Conditional Plans.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"105-158","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/Poole98","ee":"http://www.ep.liu.se/ej/etai/1998/004/","url":"https://dblp.org/rec/journals/etai/Poole98"}, "url":"URL#6562773" }, { "@score":"1", "@id":"6562774", "info":{"authors":{"author":{"@pid":"s/ErikSandewall","text":"Erik Sandewall"}},"title":"Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"307-329","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/Sandewall98","ee":"http://www.ep.liu.se/ej/etai/1998/010/","url":"https://dblp.org/rec/journals/etai/Sandewall98"}, "url":"URL#6562774" }, { "@score":"1", "@id":"6562775", "info":{"authors":{"author":{"@pid":"11/5268","text":"Murray Shanahan"}},"title":"A Logical Account of the Common Sense Informatic Situation for a Mobile Robot.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"69-104","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/Shanahan98","ee":"http://www.ep.liu.se/ej/etai/1998/003/","url":"https://dblp.org/rec/journals/etai/Shanahan98"}, "url":"URL#6562775" }, { "@score":"1", "@id":"6562776", "info":{"authors":{"author":{"@pid":"t/MichaelThielscher","text":"Michael Thielscher"}},"title":"Introduction to the Fluent Calculus.","venue":"Electron. Trans. Artif. Intell.","volume":"2","pages":"179-192","year":"1998","type":"Journal Articles","access":"closed","key":"journals/etai/Thielscher98","ee":"http://www.ep.liu.se/ej/etai/1998/006/","url":"https://dblp.org/rec/journals/etai/Thielscher98"}, "url":"URL#6562776" }, { "@score":"1", "@id":"6627030", "info":{"authors":{"author":[{"@pid":"k/AntonisCKakas","text":"Antonis C. Kakas"},{"@pid":"m/RobMiller2","text":"Rob Miller 0002"}]},"title":"Reasoning about Actions, Narratives and Ramification.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"39-72","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/KakasM97","ee":"http://www.ep.liu.se/ej/etai/1997/003/","url":"https://dblp.org/rec/journals/etai/KakasM97"}, "url":"URL#6627030" }, { "@score":"1", "@id":"6627031", "info":{"authors":{"author":{"@pid":"l/PLiberatore","text":"Paolo Liberatore"}},"title":"The Complexity of the Language A.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"13-38","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/Liberatore97","ee":"http://www.ep.liu.se/ej/etai/1997/002/","url":"https://dblp.org/rec/journals/etai/Liberatore97"}, "url":"URL#6627031" }, { "@score":"1", "@id":"6627032", "info":{"authors":{"author":{"@pid":"l/PLiberatore","text":"Paolo Liberatore"}},"title":"Compilability of Domain Descriptions in the Language A.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"129-132","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/Liberatore97a","ee":"http://www.ep.liu.se/ej/etai/1997/006/","url":"https://dblp.org/rec/journals/etai/Liberatore97a"}, "url":"URL#6627032" }, { "@score":"1", "@id":"6627033", "info":{"authors":{"author":{"@pid":"s/ErikSandewall","text":"Erik Sandewall"}},"title":"Publishing and Reviewing in the ETAI.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"1-12","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/Sandewall97","ee":"http://www.ep.liu.se/ej/etai/1997/001/","url":"https://dblp.org/rec/journals/etai/Sandewall97"}, "url":"URL#6627033" }, { "@score":"1", "@id":"6627034", "info":{"authors":{"author":{"@pid":"s/ErikSandewall","text":"Erik Sandewall"}},"title":"Logic-Based Modelling of Goal-Directed Behavior.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"105-128","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/Sandewall97a","ee":"http://www.ep.liu.se/ej/etai/1997/005/","url":"https://dblp.org/rec/journals/etai/Sandewall97a"}, "url":"URL#6627034" }, { "@score":"1", "@id":"6627035", "info":{"authors":{"author":{"@pid":"t/MichaelThielscher","text":"Michael Thielscher"}},"title":"A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.","venue":"Electron. Trans. Artif. Intell.","volume":"1","pages":"73-104","year":"1997","type":"Journal Articles","access":"closed","key":"journals/etai/Thielscher97","ee":"http://www.ep.liu.se/ej/etai/1997/004/","url":"https://dblp.org/rec/journals/etai/Thielscher97"}, "url":"URL#6627035" } ] } } } )