Relevant bibliographies by topics / Logisk

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logisk'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logisk.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logisk"

1

Larsen, Øivind. "Logisk om logikk." Tidsskrift for Den norske legeforening 135, no. 22 (2015): 2082. http://dx.doi.org/10.4045/tidsskr.15.0934.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sørli, Richard. "Logisk fremmed tenkning: Frege (og Kant)." Norsk filosofisk tidsskrift 48, no. 03-04 (2013): 208–17. http://dx.doi.org/10.18261/issn1504-2901-2013-03-04-03.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Alnes, Jan Harald. "Trekk ved Freges logisisme: Begrep, logisk objekt og Aksiom V." Norsk filosofisk tidsskrift 48, no. 03-04 (2013): 243–57. http://dx.doi.org/10.18261/issn1504-2901-2013-03-04-06.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hengelbrock, Jürgen. "Logisk og eksistensiell strenghet: Jules Lequier sett med Albert Camus øyne." Kirke og Kultur 109, no. 02 (2004): 243–55. http://dx.doi.org/10.18261/issn1504-3002-2004-02-11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Æsøy, Knut Ove. "Om læraren sin levande kunnskap." Studier i Pædagogisk Filosofi 7, no. 2 (2020): 58–72. http://dx.doi.org/10.7146/spf.v7i2.115630.

Full text
Abstract:
Det er eit uttalt mål å gjøre grunnskulelærarutdanninga forskingsbasert. I det dominerande tankemønsteret i grunnskulelærarutdanninga er det konstruert ei motsetning mellom vitskapleg kunnskap og erfaringskunnskap. Vitskapleg kunnskap vert skildra som noko positivt, medan erfaringskunnskap får ei negativ omtale. Dette filosofiske essayet vil framskrive ei re-oppfatning av denne dikotomien. Målet med arbeidet er å redusere dikotomien mellom desse to kunnskapsformene og vise ei forståing som er meir jambyrdig, og som samlande kan bli kalla for lærarens levande kunnskap. Teorien om levande kunnsk
APA, Harvard, Vancouver, ISO, and other styles
6

Scavenius, Theresa. "Videnskabelig værdirelativisme og politiske værdier." Politica 43, no. 4 (2011): 499–516. http://dx.doi.org/10.7146/politica.v43i4.114816.

Full text
Abstract:
Der er uenighed om, hvorvidt videnskabelig værdirelativisme identificerer en norm for den politiske videnskab, der sigter imod, at politiske værdier bør ekskluderes fra denne, eller hvorvidt den videnskabelige værdirelativisme tværtimod anerkender vigtigheden af politiske værdier i den politologiske forskning. Artiklens formål er at tydeliggøre disse to argumenter. Centralt for artiklens diskussion er, (i) hvorvidt det antages, at sondringen imellem empiriske og normative domme inden for samfundsvidenskaberne alene kan tilskrives en analytisk karakter ,samt (ii) hvorvidt der kan identificeres
APA, Harvard, Vancouver, ISO, and other styles
7

Christensen, Ken Ramshøj. "Træstruktur i en skov af fortolkninger." NyS, Nydanske Sprogstudier 1, no. 52-53 (2017): 11. http://dx.doi.org/10.7146/nys.v1i52-53.26365.

Full text
Abstract:
Denne artikel fremfører først et logisk argument for at det ikke er muligt at redegøre for sprogtilegnelsen og sprogbrugen ved hjælp at funktion og hyppighed alene. Der er også behov for at tage form-delen – dvs. syntaksen – alvorligt, for den er forudsætningen for funktionen. Dernæst gennemgår artiklen resultaterne fra en række danske neuro- og psykolingvistiske undersøgelser der understøtter den formelle lingvistiks grundtese, nemlig at det er muligt at adskille sproglig form og sproglig funktion. Forsøgene viser at vi laver usandsynlige fortolkninger undervejs i sprogforståelsen, og at sand
APA, Harvard, Vancouver, ISO, and other styles
8

Bremer, Józef. "Logika czy epistemologia? Historycznofilozo-ficzne uwarunkowania nowożytnej koncepcji logiki [Logik oder Epistemologie? Geschichtlich-philosophische Bedingtheiten der neuzeitlichen Konzeption der Logik]." Forum Philosophicum 9 (2004): 277–80. http://dx.doi.org/10.5840/forphil2004937.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Boh, Ivan. "Die neue Logik. Logica nova. Hrsg. Charies Lohr." Modern Schoolman 66, no. 2 (1989): 164–66. http://dx.doi.org/10.5840/schoolman198966228.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bremer, Józef. "Logika & filozofia logiczna [Logik und logische Philosophie]." Forum Philosophicum 6 (2001): 262–66. http://dx.doi.org/10.5840/forphil2001635.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logisk"

1

Helenius, Johan. "Van Crevelds teori om ledning : En logisk prövning." Thesis, Försvarshögskolan, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:fhs:diva-3789.

Full text
Abstract:
Denna uppsats analyserar och prövar den ledningsteori som är framlagd av Martin vanCreveld i boken ”Ledning i krig”. Prövningen tar sin utgångspunkt i Poppers metod omteoriprövning. Van Crevelds slutsatser testas först internt och sen överses teoribilningenslogiska form. Slutligen jämförs slutsatserna med andra teorier om ledning ochorganisation. Resultatet visar att Crevelds teorier har sämre intern korrelation än extern.Orsaken bedöms främst vara hans fria hållning och låg precision i egen metod.
APA, Harvard, Vancouver, ISO, and other styles
2

Sjöberg, Sara, and Josefin Gottfridson. "Ledtidsanalys på Peltor AB med logisk gruppindelning på elektronikprodukter." Thesis, Jönköping University, JTH, Industrial Engineering and Management, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-878.

Full text
Abstract:
<p>This report is the result of a case study at Peltor AB during the spring semester of 2007. The task Peltor gave us was to improve the delivery accuracy and to lower the high finical value of delayed orders (backorder), and to divide the products into logical groups. The logical group will be a useful tool to remain a high level of service. If the level of service increases the company will be more competitive.</p><p>The electronic department at Peltor has problems with delayed orders. According to Peltor, the problem is based on delivery lead time which is presumed.</p><p>To increase the de
APA, Harvard, Vancouver, ISO, and other styles
3

Archer, Ricardo. "Kvalitetsprocess för baskartans byggnadsgeometrier : Metod för utvärdering av logisk konsistens i Topocad." Thesis, Karlstads universitet, Fakulteten för hälsa, natur- och teknikvetenskap (from 2013), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-74502.

Full text
Abstract:
Baskartan innehåller högdetaljerad geografisk information som ligger till grund för olika verksamhets-delar i en kommun. Ajourhållning av baskartan innebär en noggrann och krävande process för att säkerställa dess innehåll. Kvalitetskraven på innehållet varierar utifrån syfte och ändamål samt styrs av olika standarder och riktlinjer. Ett avtal som kommunerna tillsammans med Lantmäteriet kan ingå är, Ajourhållningen av adress- och byggnadsinformation samt information om övrig topografi (ABT-avtal). Avtalet innehåller dataspecifikationer som beskriver bl.a. riktlinjer kring insamling av specifik
APA, Harvard, Vancouver, ISO, and other styles
4

Gustafsson, Robert. "FN-mandatets nödvändighet för den svenska regeringen : paradigmskifte eller en rationell och logisk utveckling?" Thesis, Försvarshögskolan, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:fhs:diva-1573.

Full text
Abstract:
Föreliggande uppsats undersöker om det är så att regeringen, i anslutning till försvarsminister Leni Björklundsuttalande i Dagens Nyheter 2004-11-26, i frågan om huruvida ett FN-mandat är en premiss för ett svenskt deltagandei en internationell fredsfrämjande insats, har genomfört ett snabbt och impulsivt paradigmskifte. Eller är detså att uttalandet har sin förklaring i en rationell och flerårig logisk politisk utveckling. Den kontext som utvecklingenav FN och EU från tiden efter kalla kriget fram till dagens datum utgör är viktig i detta perspektiv då dessatvå organisationer och aktörer utgö
APA, Harvard, Vancouver, ISO, and other styles
5

Kazzaz, Kani, and Karl Thulin. "Implementeringen av Friendsprogrammet – En kvalitativ studie på Lindeskolan." Thesis, Örebro universitet, Institutionen för juridik, psykologi och socialt arbete, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-55944.

Full text
Abstract:
Sammanfattning Syftet med studien är undersöka hur skolpersonal på en utvald skola, implementerar Friendsprogrammet och tillämpar arbetssättet i praktiken. Studien syftar även till att undersöka eventuella likheter och olikheter kring skolans sätt att implementera programmet jämfört med hur Friendsprogrammet är tänkt att implementeras. Vidare syftar studien till att undersöka om skolpersonal upplever att eventuella hinder, personella eller organisatoriska, påverkar implementeringen. För att besvara studiens syfte och frågeställningar har en kvalitativ ansats tillämpats. Empiri har inhämtats fr
APA, Harvard, Vancouver, ISO, and other styles
6

Gustavsson, Erik. "Gud - logisk, verklig eller onödig? : en retorisk analys av Richard Dawkins och John Lennox argumentation om Guds existens." Thesis, Högskolan Kristianstad, Sektionen för lärande och miljö, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:hkr:diva-9698.

Full text
Abstract:
This study has its background in the debate about religion and the existence of God, which has been an ongoing issue throughout the Western cultural tradition. Today´s information society has been an impact on the increasing interest for this subject. The essay’s main task is to accomplish a rhetorical analysis of two books, Illusionen om Gud (2008) by atheist Richard Dawkins and Guds dödgrävare (2010) by Christian John Lennox, in order to investigate the authors’ use of rhetorical strategies to influence their audience. The texts are studied using a qualitative approach with the theoretical b
APA, Harvard, Vancouver, ISO, and other styles
7

Stålnacke, Jannica. "Att se mönster i prickar - en föga användbar förmåga? : Intervju- och enkätstudier om logisk-analytisk särbegåvning i Sverige." Thesis, Stockholm University, Department of Psychology, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-7061.

Full text
Abstract:
<p>Logiskt-analytiskt särbegåvade vuxna svenskar undersöktes genom två delstudier, explorativa intervjuer (n=9) och en enkät (n=302), med syfte att öka förståelsen kring hur denna grupp ser på sin begåvning, sina relationer och bemötandet från omvärlden. Skillnaderna inom gruppen var stor, men gemensamma drag var otålighet och ett ifrågasättande av regler och normer. Majoriteten känner sig annorlunda, men för de flesta innebär detta inte något utanförskap som vuxen. Nästan enhälligt påtalar respondenterna hur illa den svenska skolan har mött deras behov, vissa har gått genom skolan utan att va
APA, Harvard, Vancouver, ISO, and other styles
8

Bergkvist, Per-Arne. "Lärares erfarenheter av elever i matematiksvårigheter Teachers experience of students in mathematics difficulties." Thesis, Malmö högskola, Lärarutbildningen (LUT), 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-30822.

Full text
Abstract:
Jag har i min undersökning sökt ta reda på hur elever i skolår fem och sex och ett antal lärare ser på undervisningen i matematik. Hur kan matematiksvårigheter ta sig i uttryck och vad beror dessa på? Detta är två frågeställningar som är viktiga i min rapport. Genom att 54 elever fick besvara en enkät under lugna omständigheter i klassrummet där jag själv var närvarande och presenterade mitt arbete, tror jag mig ha fått tillförlitlig data från eleverna som en grund till denna studie. Därutöver fick åtta lärare besvara en enkät och några intervjufrågor att besvara utan att de sinsemellan utbytt
APA, Harvard, Vancouver, ISO, and other styles
9

Nashed, Happy Heba. "Jakten på problemlösning i matematik – inspirerat av teorin om multipla intelligenser." Thesis, Malmö högskola, Lärarutbildningen (LUT), 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-32828.

Full text
Abstract:
Syftet med detta examensarbete är ta reda på vilka definitioner som finns för intelligensbegreppet i den del som berör logik i matematik och i vilken mån den går att påverka. Resultatet visade att matematiklärarna som ingår i denna undersökning ansåg att intelligensbegreppet har sin plats i problemlösning i matematik och ansåg sig arbeta med att främja denna förmåga hos sina elever. Ett undersökningsformulär med fem sk rika matematiska problem gavs därför till deras elever. Resultatet visade att 68 % dvs ca 200 elever inte kunde finna en lämplig lösningsstrategi till ett enda problem som pres
APA, Harvard, Vancouver, ISO, and other styles
10

Budak, Sinan. "Systemmodellering av demonstrationsutrusning : Visualisering och simulering med avseende på Cyber-fysiska system." Thesis, Högskolan i Gävle, Elektronik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-36954.

Full text
Abstract:
The digitalization trend is popular in the industrial world because of the efficiency of the monotonous working standards and conditions. Industry 4.0 is frequently brought up and discussed in the industries, more precisely, how the new genera- tion's working methods will be carried out in the industry. In the industrial sectors, there is a strong confidence that digitalization will gain a strong foothold in the near future.The University of Gävle (“University”) will develop the robot lab during the spring of 2020 with several different activities, including visiting, research and education. T
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logisk"

1

Bertung, Birgit. Kierkegaard, kristendom og konsekvens: Søren Kierkegaard lst logisk. C.A. Reitzels forlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gjelseth, Kai. Zoo logisk: Rare dyr i mange land møtt, samlet & beskrevet. Aschehoug, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dudelʹ, S. P. Logika protivorechii͡a︡ i protivorechii͡a︡ logiki: Ob otrazhenii dvizhenii͡a︡ v logike ponii͡a︡tiĭ : polemicheskie ocherki v zashchitu dialekticheskoĭ logiki. "Myslʹ", 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Johansson, Thorsten. Frege och idén om det givna: En undersökning av logisk form och idén om ett begreppsligt givet innehåll i språket. Nya Doxa, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Johansson, Thorsten. Frege och idn om det givna: En underskning av logisk form och idn om ett begreppsligt givet innehll i sprket. Nya Doxa, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Popov, V. G. Logika i realʹnostʹ: Logiko-filosofskie ocherki. Izdatelʹstvo Sankt-Peterburgskogo universiteta, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Janeczek, Stanisław. Logika czy epistemologia?: Historycznofilozoficzne uwarunkowania nowożytnej koncepcji logiki. Wydawn. KUL, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

The language of logic: An introduction. Blackwell, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Gabbay, Dov M. Handbook of Philosophical Logic: Volume 16. Springer Science+Business Media B.V., 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Materna, Pavel. Filozofická logika: nová cesta?: Úvod do transparentní intenzionální logiky. Univerzita Palackého, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logisk"

1

Elahi, Ata. "Boolean Logics and Logic Gates." In Computer Systems. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66775-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Mansutti, Alessio. "An Auxiliary Logic on Trees: on the Tower-Hardness of Logics Featuring Reachability and Submodel Reasoning." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_24.

Full text
Abstract:
AbstractWe describe a set of simple features that are sufficient in order to make the satisfiability problem of logics interpreted on trees Tower-hard. We exhibit these features through an Auxiliary Logic on Trees (), a modal logic that essentially deals with reachability of a fixed node inside a forest and features modalities from sabotage modal logic to reason on submodels. After showing that admits a Tower-complete satisfiability problem, we prove that this logic is captured by four other logics that were independently found to be Tower-complete: two-variables separation logic, quantified computation tree logic, modal logic of heaps and modal separation logic. As a by-product of establishing these connections, we discover strict fragments of these logics that are still non-elementary.
APA, Harvard, Vancouver, ISO, and other styles
3

Aurada, K. D. "Logik und Logistik des Systemkonzepts der naturwissenschaftlichen Geographie." In Angewandte Landschaftsökologie. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-58488-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schild, Klaus. "Combining terminological logics with tense logic." In Progress in Artificial Intelligence. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57287-2_41.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Krabbendam, Jeroen, and John-Jules Meyer. "Release Logics for Temporalizing Dynamic Logic." In Applied Logic Series. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9586-5_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Moerkotte, Guido. "Logik." In Inkonsistenzen in deduktiven Datenbanken. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-642-84278-8_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schichl, Hermann, and Roland Steinbauer. "Logik." In Springer-Lehrbuch. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01729-2_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hartmann, Peter. "Logik." In Mathematik für Informatiker. Springer Fachmedien Wiesbaden, 2014. http://dx.doi.org/10.1007/978-3-658-03416-0_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kastens, Uwe, and Hans Kleine Büning. "Logik." In Modellierung. Carl Hanser Verlag GmbH & Co. KG, 2014. http://dx.doi.org/10.3139/9783446442498.004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Braitenberg, Valentin. "Logik." In Künstliche Wesen. Vieweg+Teubner Verlag, 1986. http://dx.doi.org/10.1007/978-3-322-85840-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logisk"

1

Bernreiter, Michael, Jan Maly, and Stefan Woltran. "Choice Logics and Their Computational Properties." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/247.

Full text
Abstract:
Qualitative Choice Logic (QCL) and Conjunctive Choice Logic (CCL) are formalisms for preference handling, with especially QCL being well established in the field of AI. So far, analyses of these logics need to be done on a case-by-case basis, albeit they share several common features. This calls for a more general choice logic framework, with QCL and CCL as well as some of their derivatives being particular instantiations. We provide such a framework, which allows us, on the one hand, to easily define new choice logics and, on the other hand, to examine properties of different choice logics in
APA, Harvard, Vancouver, ISO, and other styles
2

Kang, Han-Ok, and Cheon-Tae Park. "Option Study on a Steam Pressure Control Logic for SMART." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48217.

Full text
Abstract:
Design features of SMART such as a large coolant inventory with a relatively low flow rate and the existence of a once-through steam generator require new steam control logic capable of coping with a prompt load change without inducing severe operational parameter fluctuations. A new MMS SMART model was developed to study the load-following capability and the system parameter manageability of three candidate control logics: the reactor leading, the turbine leading, and the feedwater leading logics. The MMS SMART model was composed of several interacting MMS modules with numerical data, each of
APA, Harvard, Vancouver, ISO, and other styles
3

Grossi, Davide, Andreas Herzig, Wiebe van der Hoek, and Christos Moyzes. "Non-Determinism and the Dynamics of Knowledge." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/146.

Full text
Abstract:
In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent logic of Semi-Public Environments (SPE). These logics represent two different approaches for defining the aforementioned actions, and in order to provide unified frameworks that encompass both, we define th
APA, Harvard, Vancouver, ISO, and other styles
4

Lu, Xu, Cong Tian, and Zhenhua Duan. "Temporalising Separation Logic for Planning with Search Control Knowledge." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/162.

Full text
Abstract:
Temporal logics are widely adopted in Artificial Intelligence (AI) planning for specifying Search Control Knowledge (SCK). However, traditional temporal logics are limited in expressive power since they are unable to express spatial constraints which are as important as temporal ones in many planning domains. To this end, we propose a two-dimensional (spatial and temporal) logic namely PPTL^SL by temporalising separation logic with Propositional Projection Temporal Logic (PPTL). The new logic is well-suited for specifying SCK containing both spatial and temporal constraints which are useful in
APA, Harvard, Vancouver, ISO, and other styles
5

Schwering, Christoph. "A Reasoning System for a First-Order Logic of Limited Belief." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/173.

Full text
Abstract:
Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages. These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable. While a number of such logics have been proposed in the past, they tend to remain for theoretical analysis only and their practical relevance is very limited. In this paper, we aim to go beyond the theory. Building on earlier work by Liu, Lakemeyer, and Levesque, we develop a logic of limited belief that is highly expressive but
APA, Harvard, Vancouver, ISO, and other styles
6

Benevides, Mario Folhadela, and Isaque Macalam Saab Lima. "Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wbl.2020.11455.

Full text
Abstract:
This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.
APA, Harvard, Vancouver, ISO, and other styles
7

Grossi, Davide, Emiliano Lorini, and François Schwarzentruber. "The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/710.

Full text
Abstract:
We present a simple Ceteris Paribus Logic (CP) and study its relationship with existing logics that deal with the representation of choice and power in games in normal form including atemporal STIT, Coalition Logic of Propositional Control (CL-PC) and Dynamic Logic of Propositional Assignments (DL-PA). Thanks to the polynomial reduction of the satisfiability problem for atemporal STIT in the satisfiability problem for CP, we obtain a complexity result for the latter problem.
APA, Harvard, Vancouver, ISO, and other styles
8

Benzmüller, Christoph. "A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/80.

Full text
Abstract:
An approach to universal (meta-)logical reasoning in classical higher-order logic is employed to explore and study simplifications of Kurt Gödel's modal ontological argument. Some argument premises are modified, others are dropped, modal collapse is avoided and validity is shown already in weak modal logics K and T. Key to the gained simplifications of Gödel's original theory is the exploitation of a link to the notions of filter and ultrafilter in topology. The paper illustrates how modern knowledge representation and reasoning technology for quantified non-classical logics can contribute new
APA, Harvard, Vancouver, ISO, and other styles
9

Belardinelli, Francesco, Alessio Lomuscio, Aniello Murano, and Sasha Rubin. "Alternating-time Temporal Logic on Finite Traces." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/11.

Full text
Abstract:
We develop a logic-based technique to analyse finite interactions in multi-agent systems. We introduce a semantics for Alternating-time Temporal Logic (for both perfect and imperfect recall) and its branching-time fragments in which paths are finite instead of infinite. We study validities of these logics and present optimal algorithms for their model-checking problems in the perfect recall case.
APA, Harvard, Vancouver, ISO, and other styles
10

Gutiérrez-Basulto, Víctor, and Jean Christoph Jung. "Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/149.

Full text
Abstract:
We study combinations of the description logic DL-Lite_{bool}^N with the branching temporal logics CTL* and CTL. We analyse two types of combinations, both with rigid roles: (i) temporal operators are applied to concepts and to ABox assertions, and (ii) temporal operators are applied to concepts and Boolean combinations of concept inclusions and ABox assertions. For the resulting logics, we present algorithms for the satisfiability problem and (mostly tight) complexity bounds ranging from ExpTime to 3ExpTime.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logisk"

1

Allwein, Gerard, and William L. Harrison. Distributed Logics. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada610943.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nguyen, Loc. Logic design using programmable logic devices. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.5987.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Garg, Deepak, and Michael C. Tschantz. From Indexed Lax Logic to Intuitionistic Logic. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada476728.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Robinson, J. A., E. E. Sibert, and K. J. Greene. The LOGLISP Programming System. Defense Technical Information Center, 1985. http://dx.doi.org/10.21236/ada158011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Tailor, Sanjay. Fuzzy Logic. Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada310470.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Karri, Ramesh, Ozgur Sinanoglu, and Jeyavihayan Rajendran. Logic Encryption. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada595228.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Carciofini, James, George Hadden, Timothy Colburn, and Aaron Larson. Loglisp Programming System Users Manual. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada193933.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Davoren, Jennifer M. Modal Logics for Continuous Dynamics. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada344316.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Jaspan, Ciera, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada485458.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gahrns, M. IMAP4 Login Referrals. RFC Editor, 1997. http://dx.doi.org/10.17487/rfc2221.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logisk' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography