Search results for "argument"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Jean-François Bonnefon	Formal Models of Reasoning in Cognitive Psychology.	Argument Comput.	2013	DBLP DOI BibTeX RDF
21	Katie Atkinson, Trevor J. M. Bench-Capon, Douglas Walton	Distinctive features of persuasion and deliberation dialogues.	Argument Comput.	2013	DBLP DOI BibTeX RDF
21	Rolando Medellin-Gasque, Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	Strategies for question selection in argumentative dialogues about plans.	Argument Comput.	2013	DBLP DOI BibTeX RDF
21	Ravi Santosh Arvapally, Xiaoqing (Frank) Liu	Polarisation assessment in an intelligent argumentation system using fuzzy clustering algorithm for collaborative decision support.	Argument Comput.	2013	DBLP DOI BibTeX RDF
21	David A. Lagnado, Norman E. Fenton, Martin Neil	Legal idioms: a framework for evidential reasoning.	Argument Comput.	2013	DBLP DOI BibTeX RDF
21	Howard Barringer, Dov M. Gabbay, John Woods 0001	Modal and temporal argumentation networks.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Johan van Benthem	The nets of reason.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Bas van Gijzel, Henry Prakken	Relating Carneades with abstract argumentation via the ASPIC+ framework for structured argumentation.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Howard Barringer, Dov M. Gabbay, John Woods 0001	Temporal, numerical and meta-level dynamics in argumentation networks.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Dov M. Gabbay	Equational approach to argumentation networks.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Patrick Saint-Dizier	Processing natural language arguments with theplatform.	Argument Comput.	2012	DBLP DOI BibTeX RDF
21	Martin Caminada	A labelling approach for ideal and stage semantics.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Douglas Walton	Reasoning about knowledge using defeasible logic.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Maya Wardeh, Trevor J. M. Bench-Capon, Frans Coenen	Arguing from experience using multiple groups of agents.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Nadia Creignou, Johannes Schmidt 0001, Michael Thomas 0001, Stefan Woltran	Complexity of logic-based argumentation in Post's framework.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Nancy L. Green, Rachael S. Dwight, Kanyamas Navoraphan, Brian Stadler	Natural language generation of biomedical argumentation for lay audiences.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Vincenzo Pallotta, Rodolfo Delmonte	Automatic argumentative analysis for interaction mining.	Argument Comput.	2011	DBLP DOI BibTeX RDF
21	Fabio Paglieri, Cristiano Castelfranchi	Why argue? Towards a cost-benefit analysis of argumentation.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Douglas Walton	A dialogue model of belief.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Uwe Egly, Sarah Alice Gaggl, Stefan Woltran	Answer-set programming encodings for argumentation frameworks.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung	Modular argumentation for modelling legal doctrines of performance relief.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	John L. Pollock	Defeasible Reasoning and Degrees of Justification.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Henry Prakken	An abstract framework for argumentation with structured arguments.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Douglas Walton	The structure of argumentation in health product messages.	Argument Comput.	2010	DBLP DOI BibTeX RDF
21	Tangming Yuan, David J. Moore, Alec Grierson	Assessing debate strategies via computational agents.	Argument Comput.	2010	DBLP DOI BibTeX RDF
19	Elizabeth Black, Anthony Hunter	An inquiry dialogue system.	Auton. Agents Multi Agent Syst.	2009	DBLP DOI BibTeX RDF	Cooperation, Argumentation, Dialogue, Agent interaction, Inquiry
19	Hiram Calvo, Kentaro Inui, Yuji Matsumoto 0001	Dependency Language Modeling Using KNN and PLSI.	MICAI	2009	DBLP DOI BibTeX RDF
19	Suresh Thummalapenta, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	MSeqGen: object-oriented unit-test generation via mining source code.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	sequence mining, object-oriented testing
19	Carmine Ventre, Ivan Visconti	Co-sound Zero-Knowledge with Public Keys.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	co-soundness, rZK, NIZK, public-key models
19	Niels Pinkwart, Collin F. Lynch, Kevin D. Ashley, Vincent Aleven	Re-evaluating LARGO in the Classroom: Are Diagrams Better Than Text for Teaching Argumentation Skills?.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Ill-defined Domains, Legal Argumentation, Diagram Representations, ITS Evaluation
19	Yuyan Chao, Lifeng He, Tsuyoshi Nakamura, Zhenghao Shi, Kenji Suzuki 0001, Hidenori Itoh	An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	Herbrand’s theorem, Herbrand universe, model generation theorem proving, SATCHMO, really non-propositinal
19	Pancho Tolchinsky, Katie Atkinson, Peter McBurney, Sanjay Modgil, Ulises Cortés	Agents Deliberating over Action Proposals Using the ProCLAIM Model.	CEEMAS	2007	DBLP DOI BibTeX RDF
19	Mark-Alexander Sujan, Floor Koornneef, Udo Voges	Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.	SAFECOMP	2007	DBLP DOI BibTeX RDF
19	Anthony Hunter	Elements of Argumentation.	ECSQARU	2007	DBLP DOI BibTeX RDF
19	Leila Amgoud, Jean-François Bonnefon, Henri Prade	The Logical Handling of Threats, Rewards, Tips, and Warnings.	ECSQARU	2007	DBLP DOI BibTeX RDF	Threats/Rewards, Tips/Warnings, Negotiation, Argumentation
19	Shien Jin Ong, Salil P. Vadhan	Zero Knowledge and Soundness Are Symmetric.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
19	Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky	Efficient Arguments without Short PCPs.	CCC	2007	DBLP DOI BibTeX RDF
19	Sandeep Bhatkar, Abhishek Chaturvedi, R. Sekar 0001	Dataflow Anomaly Detection.	S&P	2006	DBLP DOI BibTeX RDF
19	Sanjay Modgil	Nested Argumentation and Its Application to Decision Making over Actions.	ArgMAS	2005	DBLP DOI BibTeX RDF
19	Flavio Paiva Junqueira, Keith Marzullo	Replication Predicates for Dependent-Failure Algorithms.	Euro-Par	2005	DBLP DOI BibTeX RDF
19	Zhentao Li, Bruce A. Reed	Heap Building Bounds.	WADS	2005	DBLP DOI BibTeX RDF
19	Wiebke Petersen	A Mathematical Analysis of Panini's Sivasutras.	J. Log. Lang. Inf.	2004	DBLP DOI BibTeX RDF	Pnini, ivastras, representation of natural classes
19	Paul E. Dunne, Trevor J. M. Bench-Capon	Identifying Audience Preferences in Legal and Social Domains.	DEXA	2004	DBLP DOI BibTeX RDF
19	Sarah George, Ingrid Zukerman, Michael Niemann	An Anytime Algorithm for Interpreting Arguments.	PRICAI	2004	DBLP DOI BibTeX RDF
19	Douglas Walton	Is there a Burden of Questioning?	Artif. Intell. Law	2003	DBLP DOI BibTeX RDF
19	Shamus P. Smith, Michael D. Harrison	Reuse in Hazard Analysis: Identification and Support.	SAFECOMP	2003	DBLP DOI BibTeX RDF
19	Christof Fetzer, Zhen Xiao	An Automated Approach to Increasing the Robustness of C Libraries.	DSN	2002	DBLP DOI BibTeX RDF
19	J. Bryan Lewis, Ivo Bolsens, Rudy Lauwereins, Chris Wheddon, Bhusan Gupta, Yankin Tanurhan	Reconfigurable SoC - What Will it Look Like?	DATE	2002	DBLP DOI BibTeX RDF
19	Boaz Barak	Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model.	FOCS	2002	DBLP DOI BibTeX RDF
19	Debasri Chakrabarti, Pushpak Bhattacharyya	Syntactic Alternations of Hindi Verbs with Reference to the Morphological Paradigm.	Language Engineering Conference	2002	DBLP DOI BibTeX RDF	Syntactic Alternation, Morphological Paradigm, Semantic Category
19	Shamus P. Smith, Michael D. Harrison	Improving Hazard Classification through the Reuse of Descriptive Arguments.	ICSR	2002	DBLP DOI BibTeX RDF
19	Boaz Barak, Yehuda Lindell	Strict polynomial-time in simulation and extraction.	STOC	2002	DBLP DOI BibTeX RDF
19	Luís Brito, José Neves 0001	Properties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce.	IBERAMIA	2002	DBLP DOI BibTeX RDF	logic-based argumentation, success problem, guaranteed success problem, electronic commerce
19	Claudette Cayrol, Sylvie Doutre, Jérôme Mengin	Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks.	ECSQARU	2001	DBLP DOI BibTeX RDF
19	Vladimir Estivill-Castro, Ickjai Lee, Alan T. Murray	Criteria on Proximity Graphs for Boundary Extraction and Spatial Clustering.	PAKDD	2001	DBLP DOI BibTeX RDF
19	Giampaolo Bella	Lack of Explicitness Strikes Back.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
19	Stasys Jukna, Stanislav Zák	Some Notes on the Information Flow in Read-Once Branching Programs.	SOFSEM	2000	DBLP DOI BibTeX RDF
19	Tim P. Kelly, John A. McDermid	A Systematic Approach to Safety Case Maintenance.	SAFECOMP	1999	DBLP DOI BibTeX RDF
19	V. S. Anil Kumar 0001, H. Ramesh	Markovian Coupling vs. Conductance for the Jerrum-Sinclair Chain.	FOCS	1999	DBLP DOI BibTeX RDF	Markov Chain, Coupling, Conductance, Rapid mixing
19	Kunihiko Fujita, Susumu Kunifuji, Kazushi Nishimoto, Yasuyuki Sumi, Kenji Mase	Implementation and evaluation of the discussion support system MRV.	KES	1999	DBLP DOI BibTeX RDF
19	John Case, Keh-Jiann Chen, Sanjay Jain 0001	Costs of General Purpose Learning.	STACS	1999	DBLP DOI BibTeX RDF
19	Bonnie J. Dorr, Maria Katsova	Lexical Selection for Cross-Language Applications: Combining LCS with WordNet.	AMTA	1998	DBLP DOI BibTeX RDF
19	Stephen W. Smoliar, James D. Baker	Text Types in Hypermedia.	HICSS (6)	1997	DBLP DOI BibTeX RDF
19	Linda A. Macaulay	Requirements for Requirements Engineering Technique.	ICRE	1996	DBLP DOI BibTeX RDF	requirements engineering techniques, types of system failure, causes of system failure
19	Daniel Poulin, Pierre St-Vincent, Paul Bratley	Contradiction and Confirmation.	DEXA	1993	DBLP DOI BibTeX RDF
19	Tom Routen	Reusing formalisations of legislation in a tutoring system.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	reusing knowledge, statutes, prolog, intelligent tutoring systems, legislation
19	Noga Alon, A. K. Dewdney, Teunis J. Ott	Efficient Simulation of Finite Automata by Neural Nets.	J. ACM	1991	DBLP DOI BibTeX RDF	Mealy machines
19	Thomas R. Leap	Modula-2 input/output procedure using polymorphic and open-ended data type extensions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Modula-2
19	Thomas E. Hull, A. Abrham	Properly Rounded Variable Precision Square Root.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	correctness proof, variable precision
19	William F. McColl	Planar Circuits Have Short Specifications.	STACS	1985	DBLP DOI BibTeX RDF
19	David F. McAllister, Yale N. Patt	Some results on the asymptotic behavior of functions on subsets of the natural numbers.	ACM Southeast Regional Conference	1979	DBLP DOI BibTeX RDF
18	Michael Navon, Alex Samorodnitsky	Linear Programming Bounds for Codes via a Covering Argument.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Linear programming bounds for codes, Discrete Fourier transform
18	Jessica Staddon	Finding "hidden" connections on linkedIn an argument for more pragmatic social network privacy.	AISec	2009	DBLP DOI BibTeX RDF	linkedin, data mining, privacy, social network, policy
18	Elizabeth Black, Anthony Hunter, Jeff Z. Pan	An Argument-Based Approach to Using Multiple Ontologies.	SUM	2009	DBLP DOI BibTeX RDF
18	Olga Gurevich, Scott Waterman	Mapping Verbal Argument Preferences to Deverbals.	ICSC	2009	DBLP DOI BibTeX RDF
18	Takahito Aoto 0001, Toshiyuki Yamada	Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.	FroCoS	2009	DBLP DOI BibTeX RDF
18	Patrizio Barbini, Yining Wu, Martin Caminada	An implementation of argument based discussion.	AAMAS (2)	2009	DBLP BibTeX RDF
18	Ephraim Nissan	Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T30, 68T50, 00B15
18	Gunnar Karlsson, Ignacio Más Ivars	Quality of Service and the End-to-End Argument.	IEEE Netw.	2007	DBLP DOI BibTeX RDF
18	Toshiko Wakaki, Hajime Sawamura, Katsumi Nitta	An Integrated System of Semantic Web Reasoning and Argument-Based Reasoning.	AWIC	2007	DBLP DOI BibTeX RDF
18	Susan W. van den Braak, Gerard Vreeswijk, Henry Prakken	AVERs: an argument visualization tool for representing stories about evidence.	ICAIL	2007	DBLP DOI BibTeX RDF
18	Yanping Guo, Yunhai Wang, Changlong Yu	Positive solutions of m-point boundary value problems for second order differential equations with an advanced argument.	SNPD (2)	2007	DBLP DOI BibTeX RDF
18	Aimin Jiang, Hon Keung Kwan	IIR Digital Filter Design with Novel Stability Criterion Based on Argument Principle.	ISCAS	2007	DBLP DOI BibTeX RDF
18	Ivan Bratko, Martin Mozina, Jure Zabkar	Argument-Based Machine Learning.	ISMIS	2006	DBLP DOI BibTeX RDF	CN2, Machine learning, argumentation, inductive logic programming, rule learning
18	Raquel Amaro, Rui Pedro Chaves, Palmira Marrafa, Sara Mendes	Enriching Wordnets with New Relations and with Event and Argument Structures.	CICLing	2006	DBLP DOI BibTeX RDF
18	Carlos Iván Chesñevar, Ana Gabriela Maguitman, Guillermo Ricardo Simari	Argument-based User Support Systems using Defeasible Logic Programming.	AIAI	2006	DBLP DOI BibTeX RDF	user support systems, logic programming, argumentation, knowledge engineering
18	Katalin Friedl, Gábor Ivanyos, Miklos Santha, Yves F. Verhoeven	Locally 2-Dimensional Sperner Problems Complete for the Polynomial Parity Argument Classes.	CIAC	2006	DBLP DOI BibTeX RDF
18	Wu-Sheng Lu	An argument-principle based stability criterion and application to the design of IIR digital filters.	ISCAS	2006	DBLP DOI BibTeX RDF
18	Martin Mozina, Jure Zabkar, Trevor J. M. Bench-Capon, Ivan Bratko	Argument Based Machine Learning Applied to Law.	Artif. Intell. Law	2005	DBLP DOI BibTeX RDF	CN2, legal information systems, legal knowledge discovery, machine learning, argumentation, rule induction
18	Piotr Kulaga, Piotr Sapiecha, Krzysztof Sep	Approximation Algorithm for the Argument Reduction Problem.	CORES	2005	DBLP DOI BibTeX RDF
18	Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre	Argument Games for Interactive Access Control.	Web Intelligence	2005	DBLP DOI BibTeX RDF
18	Alastair Butler, Mark Donohue	Argument Dependencies in Tukang Besi.	TbiLLC	2005	DBLP DOI BibTeX RDF
18	Amparo Gil, Javier Segura 0001, Nico M. Temme	Algorithm 831: Modified Bessel functions of imaginary order and positive argument.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	asymptotic expansions, Bessel functions, numerical quadrature
18	Marcela Capobianco, Carlos Iván Chesñevar, Guillermo Ricardo Simari	An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment.	ArgMAS	2004	DBLP DOI BibTeX RDF
18	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	A Dialogue Game Protocol for Multi-agent Argument over Proposals for Action.	ArgMAS	2004	DBLP DOI BibTeX RDF
18	Paul E. Dunne, Trevor J. M. Bench-Capon	Complexity in Value-Based Argument Systems.	JELIA	2004	DBLP DOI BibTeX RDF
18	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa	A Logical Model for Commitment and Argument Network for Agent Communication.	AAMAS	2004	DBLP DOI BibTeX RDF
18	Ingrid Zukerman, Michael Niemann, Sarah George	Improving the Presentation of Argument Interpretations Based on User Trials.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
18	Michal Pleban, Hubert Niewiadomski, Piotr Buciak, Henry Selvaraj, Piotr Sapiecha, Tadeusz Luba	NOAH, a tool for argument reduction, serial and parallel decomposition of decision tables.	DSD	2003	DBLP DOI BibTeX RDF
18	Iordanis Kerenidis, Ronald de Wolf	Exponential lower bound for 2-query locally decodable codes via a quantum argument.	STOC	2003	DBLP DOI BibTeX RDF	quantum computing, private information retrieval, locally decodable codes