yusuke1997/dblp-id-title huggingface dataset:
A Fuzzy Dual SBM Model with Fuzzy Weights: An Application to the Health Sector
Comparison of PSO and Sequential Search Algorithms for Improvisation of Entropy-Based Ear Localization
Unimodal Medical Image Registration Based on Genetic Algorithm Optimization
Application of Rule Based Fuzzy Inference System in Predicting the Quality and Quantity of Potato Crop Yield in Agra
Application of Ant Algorithm Variants to Single Track Railway Scheduling Problem
Heirarchy of Communities in Dynamic Social Network
Proceedings of the Second International Conference on Soft Computing for Problem Solving, SocProS 2012, December 28-30, 2012, JK Lakshmipat University (JKLU), Jaipur, India
Intuitionistic Trapezoidal Fuzzy Prioritized Weighted Geometric Operator: An Algorithm for the Selection of Suitable Treatment for Lung Cancer
Image Pixel Prediction from Neighborhood Pixels Using Multilayer Perceptron
Soft Computing for Problem Solving - SocProS 2018, Volume 2, VIT Vellore, India, December 17-19, 2018
AP-NSGA-II: An Evolutionary Multi-objective Optimization Algorithm Using Average-Point-Based NSGA-II
Applying Fuzzy Probabilistic PROMETHEE on a Multi-Criteria Decision Problem
Classification Techniques for Texture Images Using Neuroph Studio
A Heuristic for Permutation Flowshop Scheduling to Minimize Makespan
Bi-level Problem and SMD Assessment Delinquent for Single Impartial Bi-level Optimization
Optimal Media Selection for a Product in Segmented Market under Fuzzy Environment
Automatic Plant Leaf Classification Based on Back Propagation Networks for Medical Applications
An Analytical Comparative Approach of Cloud Forensic Tools During Cyber Attacks in Cloud
IOT for Capturing Information and Providing Assessment Framework for Higher Educational Institutions - A Framework for Future Learning
Optimization of Primary Loop Pump Power of a Loop-type Liquid Metal Fast Breeder Reactor with Annular Fuel Using Genetic Algorithm
Application of Laplacian Biogeography-Based Optimization: Optimal Extraction of Bioactive Compounds from Ashwgandha
Temperature Resolution and Spatial Resolution Improvement of BOCDR-Based DTS System Using Particle Swarm Optimization Algorithm
Selection of Material Under Conflicting Situation Using Simple Ratio Optimization Technique
An Effective Parameter Tuning for a Bi-objective Genetic Algorithm to Solve the Sum Coloring Problem
Exploitative Gravitational Search Algorithm
Differential Evolution for Supplier Selection Problem: A DEA Based Approach
Web Site Reorganization Based on Topology and Usage Patterns
A Novel Approach for Evaluating Web Crawler Performance Using Content-relevant Metrics
Searchless Fractal Image Compression Using Fast DCT and Real DCT
Analysis and Design of Secure Web Services
Implementation of Fuzzy Logic on FORTRAN Coded Free Convection Around Vertical Tube
Crosstalk Noise Voltage Analysis in Global Interconnects
Combining individually inconsistent prioritized knowledge bases
Extending c-Representations and c-Inference for Reasoning with Infeasible Worlds
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings
Toward Defeasible Reasoning Using Knowledge Compilation Techniques
The mutual exclusion problem in reasoning about action and change
A Model for Belief Revision
Protected Circumscription
A unifying semantics for belief change
Applications of Circumscription to Formalizing Common Sense Knowledge
Defeasible logic with dynamic priorities
Defining an Adaptable Framework for Behaviour Support Agents in Default Logic
Sets Attacking Sets in Abstract Argumentation
Strategical considerations for argumentative agents (preliminary report)
A first approach to argument-based recommender systems based on defeasible logic programming
Answer set programming with default logic
Defeasible Reasoning in RDFS
Paraconsistent default reasoning
On the Conditional Preference-based Argumentation Framework
A Hitting Set Approach to Inconsistent-Tolerant Reasoning
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back
Default epistemology rankings, reasoning and revision (a very preliminary account)
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022
Preferred well-founded semantics for logic programming by alternating fixpoints: preliminary report
Propositional belief merging and belief negotiation model
Belief dynamics and defeasible argumentation in rational agents
Actions, planning and defeasible reasoning
Autoformalisation Answer Set Programs for Scheduling Problems using Few-Shot Learning and Chain-of-Thought
Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Fuzzy belief revision
Preferential defeasibility: utility in defeasible logic programming
Learning non-monotonic causal theories from narratives of actions
A rank based description language for qualitative preferences
On acyclic and head-cycle free nested logic programs
Merging Marginalized Total Preorders
Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract)
Considerations on compositional update operators
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications
Theory of multiple-valued defeasible argumentation and its applications
Causes for changing profiles (Extended Abstract)
Situated Conditionals - A Brief Introduction
An Extended Basic ATMS
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility
On Császár's condition in nonmonotonic reasoning
Why Sam doesn't know calculus
Adjusting adjustments - an algorithm for knowledge base extraction
Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity
A complete characterization of a notion of contraction based on information-value
Value-based argumentation frameworks
A resource bounded default logic
Resolving Constraint-Induced Inconsistencies in ASP Using lambda-Extensions
Rectifying Classifiers
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
Some logics of belief and disbelief
Towards higher impact argumentation
Ordinal and absolute representations of positive information in possibilistic logic
Hybrid Answer Set Programming: Opportunities and Challenges
Verification of General Games with QBF Solvers
Visual Data Extraction Through Visual Logic Programming
Eviction and Reception for Description Logic Ontologies (Preliminary Results)
The Role of Syntax in Inductive Inference: A Property-based Study
Unifying abductive logic programming and stable logic programming
The Complexity of Model-Preference Default Theories
Probabilistic Logic Programming under the L-Stable Semantics
On Some Weakened Forms of Transitivity in the Logic of Norms
Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), Melbourne, Australia, November 11-13, 2025
Evaluating defaults
Decision making by intelligent agents: logical argument, probabilistic inference and the maintenance of beliefs and acts
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings
New Results on Semantical Non-Monotonic Reasoning
On concise encodings of preferred extensions
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023
Generation and evaluation of different types of arguments in negotiation
Trust Graphs for Belief Revision: Framework and Implementation
Skepticism and floating conclusions
A recursive approach to argumentation: motivation and perspectives
Circumscription and Implicit Definability
Interpolation theorems for nonmonotonic reasoning systems
Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem
Explanatory diagnosing and meaningful perception
Collaborative belief revision
Planning with complex actions
Computational Vision as a (Non-Monotonic) Reasoning Process
Walking the Tightrope between Expressiveness and Uncomputability: AGM Contraction beyond the Finitary Realm
Compositionally results for stratified nonmonotone operators
ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving
On the bipolarity in argumentation frameworks
Collective argumentation
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications
Similarity Measures for First-Order Logical Arguments
Modeling complex domains of actions and change
Strategic Principles for Revising Ranking Functions
A Gradual Semantics with Imprecise Probabilities for Support Argumentation Frameworks
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report
Default Reasoning in Interaction
Logics for Inheritance Theory
Compilation of propositional weighted bases
Collaborate and Explain on the Fly: Nonmonotonic Logical Reasoning and Incremental Learning for Ad Hoc Teamwork
Kinematics Principles for Inductive Reasoning from Conditional Belief Bases
A First Peek into Preferential Logics with Team Semantics
Bibliography of Literature on Non-Monotonic Reasoning
A probabilistic approach to default reasoning
Dynamical revision operators with memory
Preliminary considerations on the modelling of belief change operators by metric spaces
Reasoning about Chance: Proof Theory for Aleatoric Logic
A fuzzy logic and default reasoning model of social norm and equilibrium selection in games under unforeseen contingencies
On Minimal Inconsistent Signatures and their Application to Inconsistency Measurement
Abduction, ASP and open logic programs
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation
A Logical System for Default Reasoning
Plan reversals for recovery in execution monitoring
On the existence and multiplicity of extensions in dialectical argumentation
Adding modal operators to the action language A
Intuitions and the modelling of defeasible reasoning: some case studies
On Computational Problems for Infinite Argumentation Frameworks: The Complexity of Finding Acceptable Extensions
Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)
Answer sets generated by selector functions
Linguistic Understanding and Non-Monotonic Reasoning
Revising partially ordered beliefs
Checking the acceptability of a set of arguments
Re: Inheritance Hierarchies with Exceptions
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic
Frame consistency: computing with causal explanations
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥
Reasoning about Simultaneous Change in Trust and Belief
Intensionality and circumscription
Using AFT to Characterize Shen and Eiter's Disjunctive Logic Program Semantics
A possibilistic approach to restore consistency in answer set programming
Default Reasoning and the Logic of Theory Perturbation
Probability, rational belief and belief change
Evaluating Novel Arguments in Case Models: Lessons from Belief Change and Abstract Argumentation for Case-based Reasoning
A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision
Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence
"All's well that ends well" - a proposal of global abduction
Repairing Ontologies via Kernel Pseudo-Contraction
Extraction of Conditional Belief Bases and the System Z Ranking Model From Multilayer Perceptrons for Binary Classification
Using Non-Monotonic Reasoning for Understandable and Flexible User-Models
Splitting Assumption-Based Argumentation Frameworks
Some Results on Circumscription
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report)
Default reasoning in a coherent setting
There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot
Default Reasoning as Circumscription
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations
Dialogues and HY-arguments
Enhancing answer set programming with templates
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report
On the Extended Preference-based Constrained Argumentation Framework
WATSON: A Dependency Directed Inference System
Skeptical Preferred Reasoning via Reducts in Abstract Argumentation
Logic-based merging: the infinite case
Towards a Semantic Construction for Belief Base Contraction: Partial Meet vs Smooth Kernel (Preliminary Report)
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00
What is a joint goal? Games with beliefs and defeasible desires
Ranking-based Defeasible Reasoning for Restricted First-Order Conditionals Applied to Description Logics
On sceptical vs credulous acceptance for abstract argument systems
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming
Non-Monotonicity and Real-Time Reasoning
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing
Eliminating Unintended Stable Fixpoints in Approximation Fixpoint Theory
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View
Speculative computation and abduction for an autonomous agent
Using SAT and Partial MaxSAT for Reasoning with System Z and System W
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
Considerations on Default Logic
Domain descriptions should be modular
Nonmonotonic inference operators for fuzzy logic
Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984
Towards Flexible Criteria in the Revision of Boolean Networks
Navigating ASP Solution Spaces (Invited Talk, Abstract)
Probabilistic reasoning in dynamic multiagent systems
On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head
Optimality theory through default logic
Inference Operators for Argumentation Formalisms - The Case of Dung-style Frameworks
ASP-PROLOG: a system for reasoning about answer set programs in prolog
Towards a conditional logic of actions and causation
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect
Qualitative and probabilistic uncertainty in reasoning about actions with sensing
A sequent calculus for skeptical reasoning in autopeistemic logic
Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other
Consistency-based approaches to merging knowledge bases: preliminary report
Embedding default logic in propositional argumentation systems
Possible-World Semantics for Autoepistemic Logic
Logic programming with ordered disjunction
On the Adequacy of Predicate Circumscription for Closed-World Reasoning
An Abductive Non-Monotonic Logic
Alternative characterizations for strong equivalence of logic programs
Semantic considerations on rejection
Possibility theory in information fusion
"Minimal defence": a refinement of the preferred semantics for argumentation frameworks
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings
Well-founded argumentation semantics for extended logic programming
The KLM Representation Theorem for System C, Formally
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
BackJumping techniques for rules instantiation in the DLV system
Human Conditional Reasoning in Answer Set Programming
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report)
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report
Programming Directly in a Non Monotonic Logic
Typicality, Conditionals and a Probabilistic Semantics for Gradual Argumentation
Pruning operators for answer set programming systems
Autoepistemic Stable Closures and Contradiction Resolution
Finding stable models via quantum computation
On logic programs with cardinality constraints
General Theory of Cumulative Inference
Repairing databases with annotated predicate logic
A Logic-Based Explainable Framework for Relation Classification of Human Rights Violations
Topics for Circumscription
Modelling Agents Roles in the Epistemic Logic L-DINF
A plausible logic which detects loops
Logic programs with annotated disjunctions
The structural model interpretation of the NESS test
On Syntactic Forgetting with relativized Strong Persistence
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer
Combining goal generation and planning in an argumentation framework
Generalizing the AGM postulates: preliminary results and applications
A SAT-based polynomial space algorithm for answer set programming
Two representations for iterative non-prioritized change
Using ADFs for Inconsistency-Tolerant Query Answering with Existential Rules
Truth-Tracking with Non-Expert Information Sources
Abductive Reasoning with Sequent-Based Argumentation
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
Skeletons in the Framework of Graph Pyramids
Invariant Recognition and Processing of Planar Shapes
Computational Surface Flattening: A Voxel-Based Approach
Discrete Deformable Boundaries for the Segmentation of Multidimensional Images
Judging Whether Multiple Silhouettes Can Come from the Same Object
A Binocular License Plate Reader for High Precision Speed Measurement
Shape Reconstruction from an Image Sequence
On Learning the Shape of Complex Actions
A New Shape Space for Second Order 3D-Variations
Koenderink Corner Points
Volume and Surface Area Distributions of Cracks in Concrete
Representation of Fuzzy Shapes
Dynamic Models for Wavelet Representations of Shape
Invariant Signatures from Polygonal Approximations of Smooth Curves
Training Space Truncation in Vision-Based Recognition
A Skeletal Measure of 2D Shape Similarity
Curve Skeletonization by Junction Detection in Surface Skeletons
Visual Search and Visual Lobe Size
An Expectation-Maximisation Framework for Perceptual Grouping
Matching Incomplete Objects Using Boundary Signatures
Recent Advances in Structural Pattern Recognition with Applications to Visual Form Analysis
How Folds Cut a Scene
The Shock Scaffold for Representing 3D Shape
Image Indexing by Contour Analysis: A Comparison
Optimal Local Distances for Distance Transforms in 3D Using an Extended Neighbourhood
Skeleton-Based Shape Models with Pressure Forces: Application to Segmentation of Overlapping Leaves
Fast Reconstruction of 3D Objects from Single Free-Hand Line Drawing
Grouping Character Shapes by Means of Genetic Programming
Global Topological Properties of Images Derived from Local Curvature Features
Extraction of Topological Features from Sequential Volume Data
On the Representation of Visual Information
Discrete Curvature Based on Osculating Circle Estimation
Behind the Image Sequence: The Semantics of Moving Shapes
Perception-Based 2D Shape Modeling by Curvature Shaping
Virtual Drilling in 3-D Objects Reconstructed by Shape-Based Interpolation
Motion Tracking of Animals for Behavior Analysis
2-D Shape Decomposition into Overlapping Parts
Alignment-Based Recognition of Shape Outlines
Qualitative Estimation of Depth in Monocular Vision
Morphological Image Processing for Evaluating Malaria Disease
Spatial Relations among Pattern Subsets as a Guide for Skeleton Pruning
Minimum-Length Polygons in Approximation Sausages
Independent Modes of Variation in Point Distribution Models
Many-to-many Matching of Attributed Trees Using Association Graphs and Game Dynamics
Prototyping Structural Shape Descriptions by Inductive Learning
Digital Planar Segment Based Polyhedrization for Surface Area Estimation
Possibility Theory and Rough Histograms for Motion Estimation in a Video Sequence
Multiscale Feature Extraction from the Visual Environment in an Active Vision System
Visual Form 2001, 4th International Workshop on Visual Form, IWVF-4, Capri, Italy, May 28-30, 2001, Proceedings
An Adaptive Image Interpolation Using the Quadratic Spline Interpolator
Probabilistic Hypothesis Generation for Rapid 3D Object Recognition
Detection and Enhancement of Line Structures in an Image by Anisotropic Diffusion
Robust Structural Indexing through Quasi-Invariant Shape Signatures and Feature Generation
On Matching Algorithms for the Recognition of Objects in Cluttered Background
Mereology of Visual Form
Color and Shape Index for Region-Based Image Retrieval
Euclidean Fitting Revisited
Head Model Acquisition from Silhouettes
A Rotation-Invariant Morphology for Shape Analysis of Anisotropic Objects and Structures
Straightening and Partitioning Shapes
A Unified Framework for Indexing and Matching Hierarchical Shape Structures
Integration of Local and Global Shape Analysis for Logo Classification
Using Beltrami Framework for Orientation Diffusion in Image Processing
3D Shape Reconstruction from Multiple Silhouettes: Generalization from Few Views by Neural Network Learning
General Purpose Matching of Grey Level Arbitrary Images
Efficient Shape Description Using NURBS
Fast Line Detection Algorithms Based on Combinatorial Optimization
Non-manifold Multi-tessellation: From Meshes to Iconic Representations of Objects
Adaptive Segmentation of MR Axial Brain Images Using Connected Components
Shape-Guided Split and Merge of Image Regions
Pattern Detection Using a Maximal Rejection Classifier
A Fragment-Based Approach to Object Representation and Classification
On the Learning of Complex Movement Sequences
Camera Motion Extraction Using Correlation for Motion-Based Video Classification
Using Individual Interactions to Infer Group Interests and to Recommend Content for Groups in Public Spaces
A Kinect-Based Virtual Reality System for Parkinson Disease Rehabilitation
DOORchain: Deep Ontology-Based Operation Research to Detect Malicious Smart Contracts
Game Based Learning Contexts for Soft Skills Development
Determinants of Cyber Security Use and Behavioral Intention: Case of the Cameroonian Public Administration
Dual Band Patch Antenna for 5G Applications with EBG Structure in the Ground Plane and Substrate
Data Fusion Model from Coupling Ontologies and Clinical Reports to Guide Medical Diagnosis Process
Usability Evaluation of Personalized Digital Memory Book for Alzheimer's Patient (my-MOBAL)
Virtual Learning Taught by Educational Institutions and Its Relationship with International Business E-business in Peru
Predictive Models for Hospital Bed Management Using Data Mining Techniques
Preliminary Research to Propose a Master Data Management Framework Aimed at Triggering Data Governance Maturity
Fine Motor Rehabilitation of Children Using the Leap Motion Device - Preliminary Usability Tests
MC64-Cluster: A Many-Core CPU Cluster for Bioinformatics Applications
Building a Virtualized Environment for Programming Courses
Economic Relations Modification During the Digital Transformation of Business
The Influence of Knowing the Source of Information on Readers' Perceptions. An Exploratory Study on Twitter
System Evaluation of Construction Methods for Multi-class Problems Using Binary Classifiers
IoT in Education: Integration of Objects with Virtual Academic Communities
The Acceptance of Content Management Systems in Portuguese Municipalities: A Study in the Intermunicipal Community of Lezíria do Tejo
Avionic Software and Agile Development: A Systematic Mapping Study
Exploiting Physarum-Inspired Vacant Particle Transport Model to Redesign an Enterprise Network