Search results for "argument"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
32	Oded Goldreich 0001, Shafi Goldwasser, Nathan Linial	Fault-tolerant Computation in the Full Information Model (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	m-argument function, full information model, two-party protocols, two-argument function, m-party fault-tolerant protocols, fault tolerant computation, sampling, polylogarithmic factors
32	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF	Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
32	Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr	Establishing Evidence for Safety Cases in Automotive Systems - A Case Study.	SAFECOMP	2007	DBLP DOI BibTeX RDF
32	Claudette Cayrol, Marie-Christine Lagasquie-Schiex	Gradual Valuation for Bipolar Argumentation Frameworks.	ECSQARU	2005	DBLP DOI BibTeX RDF
32	Gail E. Kaiser	Concurrent meld.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	MELD
30		Understanding the Small Object Argument.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 55U35, 18C10
30	Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung	Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.	CLIMA	2008	DBLP DOI BibTeX RDF
30	Sanjay Modgil, Jarred McGinnis	Towards Characterising Argumentation Based Dialogue in the Argument Interchange Format.	ArgMAS	2007	DBLP DOI BibTeX RDF
30	Harald Zankl, Nao Hirokawa, Aart Middeldorp	Constraints for Argument Filterings.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
30	Thiago Alexandre Salgueiro Pardo, Daniel Marcu, Maria das Graças Volpe Nunes	Unsupervised Learning of Verb Argument Structures.	CICLing	2006	DBLP DOI BibTeX RDF
30	Toshiko Wakaki, Takanori Mukai, Hiromitsu Miyashita, Hajime Sawamura, Kumiko Matsunaga, Taro Fukumoto, Katsumi Nitta	Automated argument system based on logic of multiple-valued argumentation.	AAMAS	2006	DBLP DOI BibTeX RDF	multiple-valued argumentation, multi-agent system, learning, knowledge acquisition
30	Kumiko Matsunaga, Hajime Sawamura	AASLMA: An Automated Argument System Based on Logic of Multiple-Valued Argumentation.	KES (4)	2005	DBLP DOI BibTeX RDF
30	Ronald R. Yager	OWA aggregation over a continuous interval argument with applications to decision making.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
30	Taro Fukumoto, Takehisa Takahashi, Hajime Sawamura	Implementing EGAP-Based Many-Valued Argument Model for Uncertain Knowledge.	KES	2004	DBLP DOI BibTeX RDF
30	Luís Brito, José Neves 0001	Argument exchange in heterogeneous electronic commerce environments.	AAMAS	2002	DBLP DOI BibTeX RDF	extended logic programming, XML, electronic commerce, argumentation, eCo
30	Sarah George, Ingrid Zukerman	Argument Interpretation Using Minimum Message Length.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
30	Tetsushi Ueta, Shigeki Tsuji, Tetsuya Yoshinaga, Hiroshi Kawakami	Calculation of the isocline for the fixed point with a specified argument of complex multipliers.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
30	Carlos Iván Chesñevar, Ana Gabriela Maguitman, Ronald Prescott Loui	Logical models of argument.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	argumentative systems, argumentation, reasoning, defeasible reasoning, defeasible argumentation
30	C.-H. Luke Ong, Eike Ritter	A Generic Strong Normalization Argument: Application to the Calculus of Constructions.	CSL	1993	DBLP DOI BibTeX RDF
30	Qi Ning, Guang R. Gao	Minimizing Loop Storage Allocation for An Argument-Fetching Dataflow Architecture Model.	PARLE	1992	DBLP DOI BibTeX RDF
30	Allen Van Gelder	Deriving Constraints Among Argument Sizes in Logic Programs.	PODS	1990	DBLP DOI BibTeX RDF
30	Christoph Walther	Argument-Bounded Algorithms as a Basis for Automated Termination Proofs.	CADE	1988	DBLP DOI BibTeX RDF
30	William J. Wilson	A generalized method for generating argument/function values.	Commun. ACM	1970	DBLP DOI BibTeX RDF	decision hierarchy, table look-up, mapping function
29	Miklós Erdélyi-Szabó, László Kálmán, Agi Kurucz	Towards a natural language semantics without functors and operands.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Finite axiomatisability, Finite entailment problem, Function/argument metaphor, Pieces of evidence, Measurements, Completeness, Compositionality, Decision algorithm, Natural language semantics
29	Lobna Hsairi, Khaled Ghédira, Adel M. Alimi, Abdellatif BenAbdelhafid	R2-IBN: Argumentation Based Negotiation Framework for the Extended Enterprise.	HAIS	2008	DBLP DOI BibTeX RDF	Argument Based Negotiation (ABN), MAIS-E2, R2-IBN, Multi-Agent System (MAS), fuzzy logic, Extended Enterprise
29	Fahri Yetim	DISCOURSIUM for cooperative examination of information in the context of the pragmatic web.	ICPW	2007	DBLP DOI BibTeX RDF	argument mapping, discourse-support systems, examination dialogues, information quality, pragmatic web
29	Eric Bach 0001, Joan Boyar, Tao Jiang 0001, Kim S. Larsen, Guo-Hui Lin	Better Bounds on the Accommodating Ratio for the Seat Reservation Problem.	COCOON	2000	DBLP DOI BibTeX RDF	the seat reservation problem, accommodating ratio, adversary argument, on-line algorithms
29	John Yearwood, Andrew Stranieri	The integration of retrieval, reasoning and drafting for refugee law: a third generation legal knowledge based system.	ICAIL	1999	DBLP DOI BibTeX RDF	document drafting, information retrieval, reasoning, argument structure
29	Terry Dartnall	Why (A Kind of) AI Can't Be Done.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	Strong AI, Chinese Room Argument, cognition, content, psychologism, meaning
29	K. J. Cleetus, George Almási 0001	GDS-a group decision system for teams.	WETICE	1996	DBLP DOI BibTeX RDF	GDS, group decision system, problem resolution, tradeoff negotiation, discussion leader, customer criteria, contra argument, supporting arguments, multimedia attachments, voting procedure, DSS, teams, evidence, group decision support systems, software package, graphical interface
29	Stephen P. Wilson, John A. McDermid, Clive H. Pygott, David J. Tombs	Assessing Complex Computer Based Systems using the Goal Structuring Notation.	ICECCS	1996	DBLP DOI BibTeX RDF	Goal Structuring Notation, Reliability, Dependability, Assessment, Safety, Argument
28	Jörn Sprado, Björn Gottfried	Grammar-Based Argument Construction.	KES (1)	2008	DBLP DOI BibTeX RDF	argument construction, cross-serial dependencies, historical theories, historical information sources, Formal grammars
28	Suguru Matsuyoshi, Koji Murakami, Yuji Matsumoto 0001, Kentaro Inui	A Database of Relations between Predicate Argument Structures for Recognizing Textual Entailment and Contradiction.	ISUC	2008	DBLP DOI BibTeX RDF	predicate argument structure, recognizing textual entailment, database, logical relation
28	Simon Buckingham Shum	There's Nothing Like a Good Argument ...	IEEE Softw.	2007	DBLP DOI BibTeX RDF	tools, concept mapping, software requirements, argument schemes
28	Roger A. Smith	A Continued-Fraction Analysis of Trigonometric Argument Reduction.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	Argument reduction, computer arithmetic, continued fractions, non-linear optimization, trigonometric functions
25	Leila Amgoud, Srdjan Vesic	On Revising Argumentation-Based Decision Systems.	ECSQARU	2009	DBLP DOI BibTeX RDF
25	Yael Tauman Kalai, Ran Raz	Probabilistically Checkable Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF
25	Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert W. N. van der Torre	Making Others Believe What They Want.	IFIP AI	2008	DBLP DOI BibTeX RDF
25	Jan Albert Van Laar	One-Sided Arguments.	Synth.	2007	DBLP DOI BibTeX RDF
25	Vipul Goyal, Ryan Moriarty, Rafail Ostrovsky, Amit Sahai	Concurrent Statistical Zero-Knowledge Arguments for NP from One Way Functions.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
25	Wei Li 0020, Tzi-cker Chiueh	Automated Format String Attack Prevention for Win32/X86 Binaries.	ACSAC	2007	DBLP DOI BibTeX RDF
25	Hoeteck Wee	Finding Pessiland.	TCC	2006	DBLP DOI BibTeX RDF
25	James Pustejovsky, Jessica Littman, Roser Saurí	Arguments in TimeML: Events and Entities.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
25	Kevin D. Ashley, Ravi Desai, John M. Levine	Teaching Case-Based Argumentation Concepts Using Dialectic Arguments vs. Didactic Explanations.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
25	Jaakko Järvi	C++ Function Object Binders Made Easy.	GCSE	1999	DBLP DOI BibTeX RDF
25	Jacques Garrigue, Hassan Aït-Kaci	The Typed Polymorphic Label-Selective lambda-Calculus.	POPL	1994	DBLP DOI BibTeX RDF
25	Jon Bondy	Uninitialized Modula-2 Abstract Object Instances, Yet Again.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Modula-2
25	Peter Ruzicka, Juraj Wiedermann	How Good Is the Adversary Lower Bound?	MFCS	1977	DBLP DOI BibTeX RDF
24	John Yearwood, Andrew Stranieri	Deliberative discourse and reasoning from generic argument structures.	AI Soc.	2009	DBLP DOI BibTeX RDF
24	Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari	Modelling Argument Accrual in Possibilistic Defeasible Logic Programming.	ECSQARU	2009	DBLP DOI BibTeX RDF
24	Cristina Giannone, Danilo Croce, Roberto Basili 0001, Diego De Cao	A Robust Geometric Model for Argument Classification.	AI*IA	2009	DBLP DOI BibTeX RDF
24	Ioan Alfred Letia, Adrian Groza	Contextual Extension with Concept Maps in the Argument Interchange Format.	ArgMAS	2008	DBLP DOI BibTeX RDF
24	Peter Sbarski, Tim van Gelder, Kim Marriott, Daniel Prager, Andy Bulka	Visualizing Argument Structure.	ISVC (1)	2008	DBLP DOI BibTeX RDF
24	Ioan Alfred Letia, Adrian Groza	A Planning-Based Approach for Enacting World Wide Argument Web.	IDC	2008	DBLP DOI BibTeX RDF
24	Paul-Amaury Matt, Francesca Toni	A Game-Theoretic Measure of Argument Strength for Abstract Argumentation.	JELIA	2008	DBLP DOI BibTeX RDF
24	Bálint Sass	The Verb Argument Browser.	TSD	2008	DBLP DOI BibTeX RDF
24	Jun Furukawa 0001, Hideki Imai	An Efficient Aggregate Shuffle Argument Scheme.	Financial Cryptography	2007	DBLP DOI BibTeX RDF	Efficient, Aggregate, Voting, Shuffle, Mix-net
24	Takahiro Tanaka, Norio Maeda, Daisuke Katagami, Katsumi Nitta	Characterized Argument Agent for Training Partner.	JSAI	2007	DBLP DOI BibTeX RDF
24	Rahul Tripathi	Complexity Upper Bounds for Classical Locally Random Reductions Using a Quantum Computational Argument.	MFCS	2007	DBLP DOI BibTeX RDF
24	Michael Codish, Peter Schneider-Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl	SAT Solving for Argument Filterings.	LPAR	2006	DBLP DOI BibTeX RDF
24	Niels Pinkwart, Vincent Aleven, Kevin D. Ashley, Collin F. Lynch	Toward Legal Argument Instruction with Graph Grammars and Collaborative Filtering Techniques.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
24	Katie Atkinson, Trevor J. M. Bench-Capon, Peter McBurney	A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	protocols, argumentation, BDI agents, practical reasoning
24	Alina Andreevskaia, Zhuoyan Li, Sabine Bergler	Partial Predicate Argument Structure Matching for Entailment Determination.	MLCW	2005	DBLP DOI BibTeX RDF
24	Michael Rovatsos, Iyad Rahwan, Felix A. Fischer, Gerhard Weiß 0001	Practical Strategic Reasoning and Adaptation in Rational Argument-Based Negotiation.	ArgMAS	2005	DBLP DOI BibTeX RDF
24	Tuangthong Wattarujeekrit, Nigel Collier	Exploring Predicate-Argument Relations for Named Entity Recognition in the Molecular Biology Domain.	Discovery Science	2005	DBLP DOI BibTeX RDF
24	Manfred Kerber	Why Is the Lucas-Penrose Argument Invalid?.	KI	2005	DBLP DOI BibTeX RDF
24	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluís Godo, Teresa Alsinet	Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties.	ECSQARU	2005	DBLP DOI BibTeX RDF	non-monotonic inference, logic programming, uncertainty, argumentation
24	Iyad Rahwan, Liz Sonenberg, Peter McBurney	Bargaining and Argument-Based Negotiation: .	ArgMAS	2004	DBLP DOI BibTeX RDF
24	John McGinn, Richard Picking	The Argument-as Metaphor in Decision-making Visualisation.	IV	2003	DBLP DOI BibTeX RDF
24	Ren-Cang Li, Sylvie Boldo, Marc Daumas	Theorems on Efficient Argument Reductions.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
24	E. B. Kuznetsov, S. D. Krasnikov	To Numerical Solution of Singular Perturbed Equations Transformed to the Best Argument.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
24	Henry Prakken, Giovanni Sartor	The Role of Logic in Computational Models of Legal Argument: A Critical Survey.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
24	Gerard Vreeswijk, Henry Prakken	Credulous and Sceptical Argument Games for Preferred Semantics.	JELIA	2000	DBLP DOI BibTeX RDF
24	Ivan Damgård, Birgit Pfitzmann	Sequential Iteration of Interactive Arguments and an Efficient Zero-Knowledge Argument for NP.	ICALP	1998	DBLP DOI BibTeX RDF
24	Samrat Bhattacharjee, Kenneth L. Calvert, Ellen W. Zegura	Active networking and the end-to-end argument.	ICNP	1997	DBLP DOI BibTeX RDF
24	Janos Simon, Shi-Chun Tsai	A Note on the Bottleneck Counting Argument.	CCC	1997	DBLP DOI BibTeX RDF	bottleneck counting method, lower bound, approximation method, Monotone circuit
24	Warren E. Ferguson	Exact Computation of a Sum or Difference with Applications to Argument Reduction.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
24	Donald E. Amos	Computation of exponential integrals of a complex argument.	ACM Trans. Math. Softw.	1990	DBLP DOI BibTeX RDF
24	Christopher J. Merz, William E. Bond, Daniel C. St. Clair	Matching Interval-Valued-Argument Propositions in Rule-Based Systems.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
23	Ji Zhou, Kai Shuang, Qiwei Wang, Xuyang Yao	EACE: A document-level event argument extraction model with argument constraint enhancement.	Inf. Process. Manag.	2024	DBLP DOI BibTeX RDF
23	Jinsu Lim, Yechan Hwang, Young-Jun Lee, Ho-Jin Choi	Improving Financial QA via Enhancing Argument Understanding with an Argument Predictor.	BigComp	2024	DBLP DOI BibTeX RDF
23	John Lawrence, Jacky Visser, Chris Reed 0001	Translational argument technology: Engineering a step change in the argument web.	J. Web Semant.	2023	DBLP DOI BibTeX RDF
23	Xiaoou Wang, Elena Cabrio, Serena Villata	Argument and Counter-Argument Generation: A Critical Survey.	NLDB	2023	DBLP DOI BibTeX RDF
23	Tanmay Parekh, I-Hung Hsu, Kuan-Hao Huang, Kai-Wei Chang, Nanyun Peng	GENEVA: Benchmarking Generalizability for Event Argument Extraction with Hundreds of Event Types and Argument Roles.	ACL (1)	2023	DBLP DOI BibTeX RDF
23	Alaa Alhamzeh	Language Reasoning by means of Argument Mining and Argument Quality. (PDF / PS)		2023	RDF
23	Samuel Guilluy, Florian Méhats, Billal Chouli	Constituency Tree Representation for Argument Unit Recognition.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Zhexiong Liu, Mohamed Elaraby, Yang Zhong, Diane J. Litman	Overview of ImageArg-2023: The First Shared Task in Multimodal Argument Mining.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Andrés Segura-Tinoco, Iván Cantador	Dimensionality Reduction for Machine Learning-based Argument Mining.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Qing Zong, Zhaowei Wang 0003, Baixuan Xu, Tianshi Zheng, Haochen Shi, Weiqi Wang, Yangqiu Song, Ginny Y. Wong, Simon See	TILFA: A Unified Framework for Text, Image, and Layout Fusion in Argument Mining.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Zlata Kikteva, Alexander Trautsch, Patrick Katzer, Mirko Oest, Steffen Herbold, Annette Hautli-Janisz	On the Impact of Reconstruction and Context for Argument Prediction in Natural Debate.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Mohammad Soltani, Julia Romberg	A General Framework for Multimodal Argument Persuasiveness Classification of Tweets.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Philipp Heinisch, Dimitry Mindlin, Philipp Cimiano	Unsupervised argument reframing with a counterfactual-based approach.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Omid Kashefi, Sophia Chan, Swapna Somasundaran	Argument Detection in Student Essays under Resource Constraints.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Basit Ali, Sachin Pawar, Girish K. Palshikar, Anindita Sinha Banerjee, Dhirendra Singh	Legal Argument Extraction from Court Judgements using Integer Linear Programming.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Melika Nobakhtian, Ghazal Zamaninejad, Erfan Moosavi Monazzah, Sauleh Eetemadi	IUST at ImageArg: The First Shared Task in Multimodal Argument Mining.	ArgMining@EMNLP	2023	DBLP DOI BibTeX RDF
23	Yubo Ma, Zehao Wang, Yixin Cao 0002, Mukai Li, Meiqi Chen 0001, Kun Wang, Jing Shao	Prompt for Extraction? PAIE: Prompting Argument Interaction for Event Argument Extraction.	CoRR	2022	DBLP BibTeX RDF
23	David M. Murungi, Rudy Hirschheim	THEORY THROUGH ARGUMENT: APPLYING ARGUMENT MAPPING TO FACILITATE THEORY BUILDING.	Eur. J. Inf. Syst.	2022	DBLP DOI BibTeX RDF
23	Jingcong Tao, Youcheng Pan, Xinyu Li, Baotian Hu, Weihua Peng, Cuiyun Han, Xiaolong Wang 0001	Multi-Role Event Argument Extraction as Machine Reading Comprehension with Argument Match Optimization.	ICASSP	2022	DBLP DOI BibTeX RDF
23	Lida Shi, Fausto Giunchiglia, Rui Song 0008, Daqian Shi, Tongtong Liu, Xiaolei Diao, Hao Xu 0012	A Simple Contrastive Learning Framework for Interactive Argument Pair Identification via Argument-Context Extraction.	EMNLP	2022	DBLP DOI BibTeX RDF
23	Han-Lin Lu, Guan Ming Lin, Shih-Kun Huang	Guan-fuzz: Argument Selection With Mean Shift Clustering for Multi-argument Fuzzing.	DSA	2022	DBLP DOI BibTeX RDF