- Familial classification of the Boraginales
2016/06/01 by Federico Luebert, Lorenzo Cecchi, Michael W. Frohlich +17 · 1 citation
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Plant Diversity and Evolution #Plant and Fungal Species Descriptions #Plant and animal studies #Monophyly #Biology #Circumscription #Phylogenetic tree #Taxonomy (biology) #Evolutionary biology #Key (lock) #Boraginaceae #Zoology #Clade #Botany #Ecology #Artificial intelligence #Genetics #Computer science
- Resolving basal lamiid phylogeny and the circumscription of Icacinaceae with a plastome‐scale data set
2015/10/27 by Gregory W. Stull, Rodrigo Duno de Stéfano, Pamela S. Soltis · 2 citations
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Plant Diversity and Evolution #Genomics and Phylogenetic Studies #Plant and Fungal Species Descriptions #Clade #Biology #Phylogenetics #Phylogenetic tree #Evolutionary biology #Circumscription #Character evolution #Phylogenomics #Genetics #Artificial intelligence
- New circumscription of the tribe Leucocoryneae (Amaryllidaceae, Allioideae)
2014/12/31 by Agostina B. Sassone, Silvia Arroyo‐Leuenberger, Silvia C. Arroyo-Leuenberger +1 · 1 citation
Agricultural and Biological Sciences · Chemistry · #Amaryllidaceae #Anthropology #Artificial intelligence #Biology #Botany #Chemical synthesis and alkaloids #Circumscription #Computer science #Plant Diversity and Evolution #Plant and animal studies #Sociology #Tribe
- Molecular phylogenetic relationships and implications for the circumscription of Colchicaceae (Liliales)
2013/05/07 by Thi P. A. Nguyen, Jung Sung Kim, Joo‐Hwan Kim · 2 citations
Agricultural and Biological Sciences · Biochemistry, Genetics and Molecular Biology · #Plant Diversity and Evolution #Plant and Fungal Species Descriptions #Mycorrhizal Fungi and Plant Interactions #Biology #Circumscription #Sensu #Monophyly #Phylogenetic tree #Sister group #Botany #Clade #Evolutionary biology #Zoology #Genus #Genetics #Gene
- Transfer of Dodecatheon to Primula (Primulaceae)
2007/01/01 by Austin Mast, Austin R. Mast, James L. Reveal · 1 citation
Agricultural and Biological Sciences · #Biology #Botany #Botany and Plant Ecology Studies #Botany, Ecology, and Taxonomy Studies #Circumscription #Computer science #Confusion #Evolutionary biology #Plant Taxonomy and Phylogenetics #Primula #Primulaceae #Taxon
- ASSAT: computing answer sets of a logic program by SAT solvers
2004/06/08 by Fangzhen Lin, Yuting Zhao · 1 citation
Computer Science · #Algorithm #Answer set programming #Circumscription #Computer science #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #Operational semantics #Programming language #Satisfiability #Semantics (computer science) #Solver #Stable model semantics #Theoretical computer science
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
1998/01/01 by Tomás Feder, Moshe Y. Vardi · 3 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #Datalog #Class (philosophy) #Monotone polygon #Mathematics #P #Discrete mathematics #Combinatorics #Group (periodic table) #Subclass #Constraint (computer-aided design) #Circumscription #Constraint satisfaction problem #Computer science #Time complexity #Theoretical computer science #Programming language #Artificial intelligence
- An abstract, argumentation-theoretic approach to default reasoning
1997/06/01 by A. G. Bondarenko, A. Bondarenko, P.M. Dung +5 · 26 citations
Computer Science · Mathematics · #Answer set programming #Argumentation theory #Artificial intelligence #Autoepistemic logic #Circumscription #Computer science #Default logic #Defeasible estate #Defeasible reasoning #Denotational semantics #Description logic #Epistemology #Extension (predicate logic) #Logic programming #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical economics #Mathematics #Modal #Modal logic #Multi-Agent Systems and Negotiation #Multimodal logic #Non-monotonic logic #Operational semantics #Programming language #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics
- A new logical characterisation of stable models and answer sets
1997/01/01 by David Pearce · 1 citation
Computer Science · #Answer set programming #Artificial intelligence #Autoepistemic logic #Circumscription #Computer science #Conservative extension #Constructive #Denotational semantics #Description logic #Extension (predicate logic) #Higher-order logic #Inference #Intuitionistic logic #Linear logic #Logic programming #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Multimodal logic #Non-monotonic logic #Operational semantics #Process (computing) #Programming language #Rule of inference #Semantic Web and Ontologies #Semantics (computer science) #Set (abstract data type) #Stable model semantics #Theoretical computer science #Well-founded semantics