標(biāo)題: Titlebook: Logic Programming and Nonmonotonic Reasoning; 14th International C Marcello Balduccini,Tomi Janhunen Conference proceedings 2017 Springer I [打印本頁] 作者: 共用 時(shí)間: 2025-3-21 17:47
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)
書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度
書目名稱Logic Programming and Nonmonotonic Reasoning網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次
書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用
書目名稱Logic Programming and Nonmonotonic Reasoning年度引用學(xué)科排名
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋
書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋學(xué)科排名
作者: 闡明 時(shí)間: 2025-3-22 00:02
Answer Set Programs with Queries over Subprogramse and cautious query answering over normal subprograms within a disjunctive program in order to address restriction (1). The query answer is represented by a dedicated atom within each answer set of the overall program, which paves the way also for a more intuitive alternative to saturation encoding作者: 敵手 時(shí)間: 2025-3-22 02:20 作者: CAB 時(shí)間: 2025-3-22 07:55
Martin Gebser,Marco Maratea,Francesco Riccanisse in die Subjekte einschreiben und auf der Ebene der Wahrnehmungen wiederspiegeln sowie sich über diese rekonstruieren lassen. Anhand von drei Fallportraits zeigt der Beitrag, wie sich die soziale Positioniertheit der Elternteile auf die wahrgenommene Handlungsf?higkeit im Prozess des übergangs 作者: 柳樹；枯黃 時(shí)間: 2025-3-22 09:18
Jo?o Leiteie Problematik der H?ufung negativer Faktoren wie zum Beispiel die Arbeitslosigkeit eines Elternteils, die chronische Erkrankung eines Familienmitglieds, beengte Wohnverh?ltnisse und schulische Schwierigkeiten der Kinder. Diese strukturell und individuell bedingten Herausforderungen erschweren die A作者: 不發(fā)音 時(shí)間: 2025-3-22 15:07
Tran Cao Sonaktiken der Positionierung von Eltern in Teamgespr?chen vergleichend untersucht und herausgearbeitet, wie sich darüber Handlungsfeldbezüge nachzeichnen lassen. Entgegen der programmatischen Forderungen ebenbürtige Kooperationsbeziehungen zu implementieren, lassen sich Entwürfe symmetrischer Beziehun作者: 易受刺激 時(shí)間: 2025-3-22 17:44 作者: refine 時(shí)間: 2025-3-22 21:45
d beleuchtet inwiefern die Mikroebene sozialer Praxis mit Makroph?nomenen sozialer Ungleichheit bzw. Bildungsungleichheit in einem wechselseitig aufeinander verweisenden Zusammenhang steht. Die Befunde geben Aufschluss über ungleichheits(re-)produzierende bzw. -verringernde Wirkungen durch Zusammena作者: Granular 時(shí)間: 2025-3-23 01:40
Rachel Ben-Eliyahu-Zohary,Fabrizio Angiulli,Fabio Fassetti,Luigi Palopolimen.?Welche Alternativen sich für die empirische Erforschung von Kindheit und Jugend aus einer solchen Begriffsanalyse ergeben und welche Desiderata sich aus den Entwicklungen der verschiedenen Forschungsstr?nge ableiten lassen, wird in den Beitr?gen dieses Buches aufgezeigt..?.978-3-658-17089-9978-3-658-17090-5作者: EPT 時(shí)間: 2025-3-23 08:01 作者: jaunty 時(shí)間: 2025-3-23 10:52
Fabio Aurelio D’Asaro,Antonis Bikakis,Luke Dickens,Rob Millern Kindern thematisiert wird. Durch die intersektionale Perspektive in der Analyse wird zudem deutlich, dass Risikodiskurse in einer kulturell komplexen, klassengeteilten Gesellschaft zur Kontrolle und Normalisierung von Elternpraktiken beitragen, was im vorliegenden Beispiel insbesondere für Mütter 作者: indignant 時(shí)間: 2025-3-23 17:06 作者: Minikin 時(shí)間: 2025-3-23 21:15 作者: 玩笑 時(shí)間: 2025-3-23 23:48
Ezgi Iraz Suezug zu anderen Strukturqualit?tsmerkmalen zu setzen und die Realit?t in der Praxis zu verdeutlichen und andererseits die Qualifizierungsdiskussion in Bezug zur Praxis zu stellen. Dazu wird im ersten Schritt ein exemplarischer Blick auf die Qualifikationen der MitarbeiterInnen in der Praxis geworfen作者: 蒼白 時(shí)間: 2025-3-24 05:47
Micha? Wronat die genetische Wahrheit diesen Status in der Legitimation einer Beziehung ein und welchen Beitrag kann diese Verfasstheit für die Beantwortung der Frage nach der Materialit?t von Kindheit leisten? Welche Form erlangt Kindheit in der Konzeption eines Generationenverh?ltnisses, das auf biologische A作者: legitimate 時(shí)間: 2025-3-24 08:26
t die genetische Wahrheit diesen Status in der Legitimation einer Beziehung ein und welchen Beitrag kann diese Verfasstheit für die Beantwortung der Frage nach der Materialit?t von Kindheit leisten? Welche Form erlangt Kindheit in der Konzeption eines Generationenverh?ltnisses, das auf biologische A作者: 歡騰 時(shí)間: 2025-3-24 10:44 作者: 著名 時(shí)間: 2025-3-24 18:37 作者: 名義上 時(shí)間: 2025-3-24 22:50
The Design of the Seventh Answer Set Programming Competitionmpetitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report about the design of the Seventh ASP Competition, which is jointly organized by the University of Calabria (Italy), the University作者: faultfinder 時(shí)間: 2025-3-25 00:56 作者: hurricane 時(shí)間: 2025-3-25 05:41
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyondogramming and non-monotonic reasoning origins of two well-known argumentation formalisms in AI (namely abstract argumentation and assumption-based argumentation). Finally, the talk will discuss recent developments in AI making use of computational argumentation, in particular to support collaborativ作者: 量被毀壞 時(shí)間: 2025-3-25 08:39 作者: reject 時(shí)間: 2025-3-25 14:25
A Hasse Diagram for Weighted Sceptical Semantics with a Unique-Status Grounded Semanticsntation: grounded, ideal, and eager. Being our framework based on a parametric structure of weights, we can directly compare weighted and classical approaches. We define a unique-status weighted grounded semantics, and we prove that the lattice of strongly-admissible extensions becomes a semi-lattic作者: 浪費(fèi)時(shí)間 時(shí)間: 2025-3-25 16:09
Foundations for a Probabilistic Event Calculusuage style syntax similar to that of the EC variant .odular-.. Its semantics is given in terms of . which constitute possible evolutions of the domain, and builds on that of Epistemic?Functional EC (EFEC). We also describe an ASP implementation of PEC and show the sense in which this is sound and co作者: PURG 時(shí)間: 2025-3-25 23:24 作者: Genome 時(shí)間: 2025-3-26 01:06
Including Quantification in Defeasible Reasoning for the Description Logic ,ing. If in DDLs with quantification a defeasible subsumption relationship holds between concepts, it can also hold if these concepts appear nested in existential restrictions. Earlier reasoning algorithms did not detect this kind of relationships. We devise a new form of canonical models that extend作者: bizarre 時(shí)間: 2025-3-26 04:54 作者: sphincter 時(shí)間: 2025-3-26 11:41 作者: RAGE 時(shí)間: 2025-3-26 13:07
Gelfond-Zhang Aggregates as Propositional Formulasula. Restricted to the original GZ syntax, the resulting formula is reducible to a disjunction of conjunctions of literals but the formulation is still applicable even when the syntax is extended to allow for arbitrary formulas (including nested aggregates) in the condition. Once GZ-aggregates are r作者: NAUT 時(shí)間: 2025-3-26 18:33
Answer Set Solving with Bounded Treewidth Revisitedpply this idea to the field of answer set programming (ASP). To this end, we propose two kinds of graph representations of programs to exploit their treewidth as a parameter. Treewidth roughly measures to which extent the internal structure of a program resembles a tree. Our main contribution is the作者: 籠子 時(shí)間: 2025-3-26 23:19
Vicious Circle Principle and Formation of Sets in ASP Based Languagesges with sets. We expand previously introduced language . with aggregates by allowing infinite sets and several additional set related constructs useful for knowledge representation and teaching. In addition, we propose an alternative formalization of the original VCP and incorporate it into the sem作者: 要素 時(shí)間: 2025-3-27 04:55
Answer Set Programs with Queries over Subprogramshnique to overcome them: (1)?Meta-reasoning about the collection of answer sets of a program is in general only possible by external postprocessing, but not within the program. This prohibits the direct continuation of reasoning based on the answer to the query over a (sub)program’s answer sets. (2)作者: 卵石 時(shí)間: 2025-3-27 07:38
Explaining Inconsistency in Answer Set Programs and Extensions arbitrary external information. In this paper we study inconsistent ASP- and .-programs, i.e.,?programs which do not possess answer sets, and introduce a novel notion of . for characterizing their inconsistency depending on the input facts. This problem is mainly motivated by upcoming applications 作者: integrated 時(shí)間: 2025-3-27 12:49
BMFSFJ 2012). Doch besondere Notwendigkeiten zeigen sich bei Familien in Armutslagen. H?ufig reichen die Ressourcen nicht aus, um den Anforderungen an Erwerbst?tigkeit und Erziehung zu genügen. Der Mangel an finanziellen Ressourcen geht h?ufig mit zeitlichen Engp?ssen einher, zum Beispiel wenn die E作者: Anal-Canal 時(shí)間: 2025-3-27 17:21
Martin Gebser,Marco Maratea,Francesco Ricca?ter* als Akteur*innen in den Bildungsbiographien ihrer Kinder interessiert. In dem Beitrag wird der analytische Fokus auf die Wahrnehmungen der Mütter* und V?ter* bezüglich ihrer Handlungsf?higkeit gelegt. Das Konzept ?wahrgenommene Handlungsf?higkeit‘ stellt ein theoretisches Konzept dar, welches 作者: 先驅(qū) 時(shí)間: 2025-3-27 21:01
Jo?o LeiteBMFSFJ 2012). Doch besondere Notwendigkeiten zeigen sich bei Familien in Armutslagen. H?ufig reichen die Ressourcen nicht aus, um den Anforderungen an Erwerbst?tigkeit und Erziehung zu genügen. Der Mangel an finanziellen Ressourcen geht h?ufig mit zeitlichen Engp?ssen einher, zum Beispiel wenn die E作者: groggy 時(shí)間: 2025-3-27 22:08 作者: 組裝 時(shí)間: 2025-3-28 02:13
Francesca ToniBMFSFJ 2012). Doch besondere Notwendigkeiten zeigen sich bei Familien in Armutslagen. H?ufig reichen die Ressourcen nicht aus, um den Anforderungen an Erwerbst?tigkeit und Erziehung zu genügen. Der Mangel an finanziellen Ressourcen geht h?ufig mit zeitlichen Engp?ssen einher, zum Beispiel wenn die E作者: iodides 時(shí)間: 2025-3-28 06:56 作者: Texture 時(shí)間: 2025-3-28 13:00
Rachel Ben-Eliyahu-Zohary,Fabrizio Angiulli,Fabio Fassetti,Luigi Palopolifen.Innovative Zug?nge zur Forschungen zu Kindheit und Jugen.Die übergreifende Idee dieses Buches ist es, Grundbegriffe der Kindheits- und Jugendforschung zu hinterfragen.?Zentrale?Begriffe wie?.Entwicklung.,?.Erziehung, Sozialisation, Bildung.,?.Lernen., aber auch?.Kindheit.?und?.Jugend.?werden dar作者: 壓倒 時(shí)間: 2025-3-28 16:24 作者: 夸張 時(shí)間: 2025-3-28 22:09
Fabio Aurelio D’Asaro,Antonis Bikakis,Luke Dickens,Rob Miller Risikodiskurse die frühe Kindheit pr?gen und wie sie das Alltagsleben von Kindern und Eltern beeinflussen. Hierfür werden Praktiken des Essens in Kinderg?rten als empirisches Beispiel gew?hlt und eine textanalytische Untersuchung von Richtlinien für Mahlzeiten in Norwegischen Kinderg?rten vorgenomm作者: Mortar 時(shí)間: 2025-3-28 23:05
Emmanuelle-Anna Dietz Saldanha,Steffen H?lldobler,Luís Moniz Pereiraie gefragt, worin die Interessen von Kindern bestehen, wie sie zustande kommen und welche Bedeutung ihnen für das Verst?ndnis der Kinderrechte und eine daran orientierte Praxis zukommt. Im Beitrag werden deshalb die Zusammenh?nge von Kinderrechten und Kinderinteressen n?her beleuchtet. Zun?chst wird作者: Hypomania 時(shí)間: 2025-3-29 05:51
Maximilian Pensel,Anni-Yasmin Turhaner ausgew?hlten Paarsequenz aus einem offenen Leitfadeninterview – aus dem Forschungsprojekt des Autors – mit einem elfj?hrigen M?dchen soll der Frage nachgegangen werden, wie die Interviewpartnerin ihr ?mobil sein? (müssen) zwischen den Eltern beurteilt, und ob sie in ihrer Stellungnahme auch auf D作者: Aspiration 時(shí)間: 2025-3-29 07:22
Ezgi Iraz Sulit?tssicherungssystemen für diesen Bereich fehlt (Tietze 2010, S. 561; Viernickel/Schwarz 2009, S.6). Da das Setzen von Rahmenbedingungen in Deutschland L?ndersache ist, variiert das Angebot hinsichtlich des Personalschlüssels bzw. der Fachkraft-Kind-Relation, der Betreuungszeiten, der Gruppengr??e作者: 花費(fèi) 時(shí)間: 2025-3-29 13:44 作者: 秘密會(huì)議 時(shí)間: 2025-3-29 15:42
von Kindheit. Die rechtliche Verwertbarkeit eines Vaterschaftstests für die Vaterschaftsanfechtung, beziehungsweise die das m?gliche Anrecht auf Kenntnis der Abstammung des eigenen Kindes verbindet naturalisierende Vorstellungen von Eltern-Kind-Beziehungen mit rechtlichen Regelungen. So entsteht ein作者: Distribution 時(shí)間: 2025-3-29 23:15 作者: Irrigate 時(shí)間: 2025-3-30 03:05 作者: indoctrinate 時(shí)間: 2025-3-30 07:05 作者: 預(yù)測(cè) 時(shí)間: 2025-3-30 08:36
Gelfond-Zhang Aggregates as Propositional Formulasad, we do not lose answer sets (although more can be gained). This extends the previously known result that the opposite happens in rule bodies, i.e., replacing a GZ-aggregate by an F-aggregate in the body may yield more answer sets. Finally, we characterise a class of aggregates for which GZ- and F-semantics coincide.作者: 弄臟 時(shí)間: 2025-3-30 12:57
Modular Construction of Minimal Modelsze . of the largest connected component of the dependency graph, but their actual cost depends on the size of the largest source actually encountered, which can be far smaller than ., and on the class of theories to which sources belong. Indeed, if all sources reduce to an HCF or HEF theory, the algorithms are polynomial in the size of the theory.作者: delusion 時(shí)間: 2025-3-30 17:11
Minimal Inference Problem Over Finite Domains: The Landscape of Complexitye use the algebraic approach provided originally in order to understand the complexity of the constraint satisfaction problem to give first non-trivial dichotomies and tractability results for the minimal inference problem over finite domains.作者: 污點(diǎn) 時(shí)間: 2025-3-30 22:50 作者: SNEER 時(shí)間: 2025-3-31 04:50 作者: 含沙射影 時(shí)間: 2025-3-31 09:05 作者: 玷污 時(shí)間: 2025-3-31 12:59
Vicious Circle Principle and Formation of Sets in ASP Based Languagesnction and infinite sets, the formal semantics of aggregates in . coincides with that of several other known languages. Their intuitive and formal semantics, however, are based on quite different ideas and seem to be more involved than that of ..作者: 污點(diǎn) 時(shí)間: 2025-3-31 16:16
Explaining Inconsistency in Answer Set Programs and Extensionseasoning problems related to the computation of such inconsistency reasons. Finally, we present a meta-programming encoding in disjunctive ASP which computes inconsistency reasons for given normal logic programs, and a basic procedural algorithm for computing inconsistency reasons for general .-programs.作者: 演講 時(shí)間: 2025-3-31 20:00
